https://synthetic.dev/ https://synthetic.dev/library https://synthetic.dev/library/entries https://synthetic.dev/library/papers https://synthetic.dev/library/authors https://synthetic.dev/docs https://synthetic.dev/docs/about https://synthetic.dev/docs/about/philosophy https://synthetic.dev/docs/licences https://synthetic.dev/docs/mathml https://synthetic.dev/docs/privacy https://synthetic.dev/docs/terms https://synthetic.dev/library/entries/adjoint_type_theory 2022-09-22 https://synthetic.dev/library/entries/algebraic_geometry 2022-09-19 https://synthetic.dev/library/entries/algebraic_number_theory 2022-09-22 https://synthetic.dev/library/entries/algebraic_statistics 2022-09-19 https://synthetic.dev/library/entries/algebraic_topology 2022-09-19 https://synthetic.dev/library/entries/anabelian_geometry 2022-09-19 https://synthetic.dev/library/entries/analytic_function 2022-09-19 https://synthetic.dev/library/entries/analytic_number_theory 2022-09-19 https://synthetic.dev/library/entries/analytical_mechanics 2022-10-04 https://synthetic.dev/library/entries/arithmetic_geometry 2022-09-19 https://synthetic.dev/library/entries/associative_algebra 2022-09-19 https://synthetic.dev/library/entries/bayesian_statistics 2022-09-19 https://synthetic.dev/library/entries/beta_function 2022-09-19 https://synthetic.dev/library/entries/category_theory 2022-09-19 https://synthetic.dev/library/entries/clifford_algebra 2022-09-19 https://synthetic.dev/library/entries/coding_theory 2022-09-19 https://synthetic.dev/library/entries/cohomology_theory 2022-10-12 https://synthetic.dev/library/entries/combinatorics 2022-09-19 https://synthetic.dev/library/entries/combinatory_logic 2022-09-19 https://synthetic.dev/library/entries/commutative_algebra 2022-09-19 https://synthetic.dev/library/entries/commutative_group 2022-09-19 https://synthetic.dev/library/entries/complex_analysis 2022-09-19 https://synthetic.dev/library/entries/computability_theory 2023-03-06 https://synthetic.dev/library/entries/computational_biology 2022-09-19 https://synthetic.dev/library/entries/computational_effect 2022-09-19 https://synthetic.dev/library/entries/computational_geometry 2022-10-12 https://synthetic.dev/library/entries/constructive_algebra 2022-09-19 https://synthetic.dev/library/entries/cubical_type_theory 2022-08-17 https://synthetic.dev/library/entries/differential_algebra 2022-09-19 https://synthetic.dev/library/entries/differential_calculus 2022-09-19 https://synthetic.dev/library/entries/differential_equation 2022-09-19 https://synthetic.dev/library/entries/differential_geometry 2022-09-19 https://synthetic.dev/library/entries/differential_topology 2022-09-19 https://synthetic.dev/library/entries/diophantine_geometry 2022-09-19 https://synthetic.dev/library/entries/discrete_differential_geometry 2022-09-19 https://synthetic.dev/library/entries/discrete_geometry 2022-09-19 https://synthetic.dev/library/entries/domain_theory 2022-09-19 https://synthetic.dev/library/entries/effect 2023-03-09 https://synthetic.dev/library/entries/electromagnetism 2022-09-19 https://synthetic.dev/library/entries/elliptic_integral 2022-09-19 https://synthetic.dev/library/entries/ergodic_theory 2022-09-19 https://synthetic.dev/library/entries/exterior_algebra 2022-09-19 https://synthetic.dev/library/entries/field_theory 2022-09-19 https://synthetic.dev/library/entries/floating-point_arithmetic 2022-09-19 https://synthetic.dev/library/entries/fourier_analysis 2022-09-19 https://synthetic.dev/library/entries/fractal 2022-09-19 https://synthetic.dev/library/entries/free_module 2022-09-19 https://synthetic.dev/library/entries/functional_analysis 2022-10-21 https://synthetic.dev/library/entries/functional_equation 2022-09-27 https://synthetic.dev/library/entries/galois_theory 2022-09-22 https://synthetic.dev/library/entries/gamma_function 2022-09-19 https://synthetic.dev/library/entries/gauge_theory 2022-09-19 https://synthetic.dev/library/entries/general_relativity_theory 2022-09-19 https://synthetic.dev/library/entries/geometric_algebra 2022-09-19 https://synthetic.dev/library/entries/geometric_topology 2022-09-19 https://synthetic.dev/library/entries/graph_theory 2022-09-19 https://synthetic.dev/library/entries/group_theory 2022-09-19 https://synthetic.dev/library/entries/harmonic_analysis 2022-09-19 https://synthetic.dev/library/entries/heyting_algebra 2022-09-19 https://synthetic.dev/library/entries/higher-order_logic 2022-09-19 https://synthetic.dev/library/entries/higher_algebra 2022-08-17 https://synthetic.dev/library/entries/higher_category_theory 2022-09-19 https://synthetic.dev/library/entries/hilbert_space 2022-09-19 https://synthetic.dev/library/entries/homological_algebra 2022-09-19 https://synthetic.dev/library/entries/homology_theory 2022-10-27 https://synthetic.dev/library/entries/homotopical_algebra 2022-09-19 https://synthetic.dev/library/entries/homotopy_theory 2022-08-17 https://synthetic.dev/library/entries/homotopy_type_theory 2024-01-06 https://synthetic.dev/library/entries/hopf_algebra 2022-09-19 https://synthetic.dev/library/entries/hypergeometric_function 2022-09-19 https://synthetic.dev/library/entries/incidence_algebra 2022-09-19 https://synthetic.dev/library/entries/inductive_type 2023-03-17 https://synthetic.dev/library/entries/information_geometry 2022-09-19 https://synthetic.dev/library/entries/information_theory 2022-09-19 https://synthetic.dev/library/entries/integral_calculus 2022-09-17 https://synthetic.dev/library/entries/inter-universal_teichm%C3%BCller_theory 2022-09-19 https://synthetic.dev/library/entries/k-theory 2022-09-23 https://synthetic.dev/library/entries/knot_theory 2022-09-19 https://synthetic.dev/library/entries/lambda_calculus 2022-09-19 https://synthetic.dev/library/entries/lambda_cube 2022-09-01 https://synthetic.dev/library/entries/legendre_polynomials 2022-09-19 https://synthetic.dev/library/entries/lie_algebra 2022-09-27 https://synthetic.dev/library/entries/linear_algebra 2022-09-27 https://synthetic.dev/library/entries/linear_type_theory 2022-08-17 https://synthetic.dev/library/entries/locale 2022-09-19 https://synthetic.dev/library/entries/logarithm 2022-09-19 https://synthetic.dev/library/entries/mathematical_logic 2022-09-19 https://synthetic.dev/library/entries/matroid 2022-09-19 https://synthetic.dev/library/entries/measure_theory 2022-09-19 https://synthetic.dev/library/entries/metric_space 2022-09-19 https://synthetic.dev/library/entries/metric_tensor 2022-09-19 https://synthetic.dev/library/entries/modal_type_theory 2022-09-28 https://synthetic.dev/library/entries/model_theory 2022-09-19 https://synthetic.dev/library/entries/module_theory 2022-09-01 https://synthetic.dev/library/entries/moment 2022-09-19 https://synthetic.dev/library/entries/morse_theory 2022-09-23 https://synthetic.dev/library/entries/multilinear_algebra 2022-08-17 https://synthetic.dev/library/entries/multimodal_type_theory 2022-09-27 https://synthetic.dev/library/entries/multivariable_calculus 2022-09-19 https://synthetic.dev/library/entries/multivariate_analysis 2022-09-19 https://synthetic.dev/library/entries/multivariate_statistics 2022-09-19 https://synthetic.dev/library/entries/nominal 2023-02-22 https://synthetic.dev/library/entries/non-standard_analysis 2022-09-19 https://synthetic.dev/library/entries/number_theory 2022-09-19 https://synthetic.dev/library/entries/numerical_analysis 2022-09-19 https://synthetic.dev/library/entries/operator_algebra 2022-09-19 https://synthetic.dev/library/entries/operator_theory 2022-09-19 https://synthetic.dev/library/entries/order_theory 2022-09-01 https://synthetic.dev/library/entries/ordinal_analysis 2022-09-19 https://synthetic.dev/library/entries/p-adic_analysis 2022-09-19 https://synthetic.dev/library/entries/polynomial 2022-08-27 https://synthetic.dev/library/entries/postnikov_system 2022-09-19 https://synthetic.dev/library/entries/probability_theory 2022-09-27 https://synthetic.dev/library/entries/projective_geometry 2022-09-19 https://synthetic.dev/library/entries/proof_theory 2022-10-08 https://synthetic.dev/library/entries/q-analog 2022-09-19 https://synthetic.dev/library/entries/quadratic_curve 2022-09-19 https://synthetic.dev/library/entries/quantale 2023-03-09 https://synthetic.dev/library/entries/quantum_statistical_mechanics 2022-09-19 https://synthetic.dev/library/entries/quantum_theory 2022-09-19 https://synthetic.dev/library/entries/quantum_type_theory 2022-09-19 https://synthetic.dev/library/entries/real_analysis 2022-09-19 https://synthetic.dev/library/entries/realisability_theory 2022-10-02 https://synthetic.dev/library/entries/recursion_scheme 2022-09-19 https://synthetic.dev/library/entries/regular_category 2023-02-09 https://synthetic.dev/library/entries/regular_expression 2023-03-09 https://synthetic.dev/library/entries/representation_theory 2022-09-19 https://synthetic.dev/library/entries/reverse_mathematics 2022-09-19 https://synthetic.dev/library/entries/ricci_calculus 2022-09-19 https://synthetic.dev/library/entries/ring_theory 2022-09-19 https://synthetic.dev/library/entries/semantics 2022-09-19 https://synthetic.dev/library/entries/sequent_calculus 2022-09-28 https://synthetic.dev/library/entries/series 2022-09-19 https://synthetic.dev/library/entries/set_theory 2022-09-19 https://synthetic.dev/library/entries/sheaf_theory 2022-09-19 https://synthetic.dev/library/entries/simplex 2022-09-19 https://synthetic.dev/library/entries/simplex_category 2022-09-19 https://synthetic.dev/library/entries/simplicial_type_theory 2022-09-19 https://synthetic.dev/library/entries/spectral_theory 2022-09-19 https://synthetic.dev/library/entries/star-algebra 2022-09-13 https://synthetic.dev/library/entries/statistical_mechanics 2022-09-19 https://synthetic.dev/library/entries/superstring_theory 2022-09-19 https://synthetic.dev/library/entries/symplectic_geometry 2022-11-04 https://synthetic.dev/library/entries/synthetic_differential_geometry 2022-09-19 https://synthetic.dev/library/entries/synthetic_geometry 2022-09-19 https://synthetic.dev/library/entries/synthetic_topology 2022-09-19 https://synthetic.dev/library/entries/teichm%C3%BCller_space 2022-09-19 https://synthetic.dev/library/entries/temporal_type_theory 2022-09-19 https://synthetic.dev/library/entries/tensor_network 2022-09-19 https://synthetic.dev/library/entries/thermodynamics 2022-09-19 https://synthetic.dev/library/entries/topological_quantum_computation 2022-09-19 https://synthetic.dev/library/entries/topological_quantum_field_theory 2022-09-19 https://synthetic.dev/library/entries/topology 2022-09-19 https://synthetic.dev/library/entries/topos_theory 2022-09-19 https://synthetic.dev/library/entries/trigonometric_function 2022-09-26 https://synthetic.dev/library/entries/two-level_type_theory 2023-02-22 https://synthetic.dev/library/entries/type_theory 2023-01-22 https://synthetic.dev/library/entries/universal_algebra 2022-09-19 https://synthetic.dev/library/entries/variational_calculus 2022-10-18 https://synthetic.dev/library/entries/vector_calculus 2022-09-19 https://synthetic.dev/library/entries/weil_algebra 2022-09-19 https://synthetic.dev/library/papers/acm:3371114 https://synthetic.dev/library/papers/acm:3409006 https://synthetic.dev/library/papers/acm:3547641 https://synthetic.dev/library/papers/arXiv:0809.4221 https://synthetic.dev/library/papers/arXiv:0902.1954 https://synthetic.dev/library/papers/arXiv:0903.1822 https://synthetic.dev/library/papers/arXiv:0911.0977 https://synthetic.dev/library/papers/arXiv:0911.1393 https://synthetic.dev/library/papers/arXiv:1002.2883 https://synthetic.dev/library/papers/arXiv:1007.3769 https://synthetic.dev/library/papers/arXiv:1008.2112 https://synthetic.dev/library/papers/arXiv:1009.1166 https://synthetic.dev/library/papers/arXiv:1012.1220 https://synthetic.dev/library/papers/arXiv:1012.4193 https://synthetic.dev/library/papers/arXiv:1101.2162 https://synthetic.dev/library/papers/arXiv:1101.5445 https://synthetic.dev/library/papers/arXiv:1105.6206 https://synthetic.dev/library/papers/arXiv:1106.1791 https://synthetic.dev/library/papers/arXiv:1109.0777 https://synthetic.dev/library/papers/arXiv:1111.7159 https://synthetic.dev/library/papers/arXiv:1201.3898 https://synthetic.dev/library/papers/arXiv:1201.5240 https://synthetic.dev/library/papers/arXiv:1202.2923 https://synthetic.dev/library/papers/arXiv:1202.3502 https://synthetic.dev/library/papers/arXiv:1203.1539 https://synthetic.dev/library/papers/arXiv:1204.4045 https://synthetic.dev/library/papers/arXiv:1205.3979 https://synthetic.dev/library/papers/arXiv:1210.3116 https://synthetic.dev/library/papers/arXiv:1211.2851 https://synthetic.dev/library/papers/arXiv:1212.5303 https://synthetic.dev/library/papers/arXiv:1302.5765 https://synthetic.dev/library/papers/arXiv:1303.0376 https://synthetic.dev/library/papers/arXiv:1303.1994 https://synthetic.dev/library/papers/arXiv:1304.0558 https://synthetic.dev/library/papers/arXiv:1305.0640 https://synthetic.dev/library/papers/arXiv:1305.2231 https://synthetic.dev/library/papers/arXiv:1305.3835 https://synthetic.dev/library/papers/arXiv:1305.6471 https://synthetic.dev/library/papers/arXiv:1305.7360 https://synthetic.dev/library/papers/arXiv:1306.0095 https://synthetic.dev/library/papers/arXiv:1306.2675 https://synthetic.dev/library/papers/arXiv:1306.6316 https://synthetic.dev/library/papers/arXiv:1307.1850 https://synthetic.dev/library/papers/arXiv:1307.2004 https://synthetic.dev/library/papers/arXiv:1307.2765 https://synthetic.dev/library/papers/arXiv:1307.3263 https://synthetic.dev/library/papers/arXiv:1307.6248 https://synthetic.dev/library/papers/arXiv:1308.1228 https://synthetic.dev/library/papers/arXiv:1309.0892 https://synthetic.dev/library/papers/arXiv:1310.0263 https://synthetic.dev/library/papers/arXiv:1312.1399 https://synthetic.dev/library/papers/arXiv:1312.2334 https://synthetic.dev/library/papers/arXiv:1312.2702 https://synthetic.dev/library/papers/arXiv:1401.1053 https://synthetic.dev/library/papers/arXiv:1401.4002 https://synthetic.dev/library/papers/arXiv:1401.5391 https://synthetic.dev/library/papers/arXiv:1402.0761 https://synthetic.dev/library/papers/arXiv:1402.3067 https://synthetic.dev/library/papers/arXiv:1402.7041 https://synthetic.dev/library/papers/arXiv:1403.6507 https://synthetic.dev/library/papers/arXiv:1404.2156 https://synthetic.dev/library/papers/arXiv:1404.3780 https://synthetic.dev/library/papers/arXiv:1405.2429 https://synthetic.dev/library/papers/arXiv:1405.7270 https://synthetic.dev/library/papers/arXiv:1405.7500 https://synthetic.dev/library/papers/arXiv:1406.2064 https://synthetic.dev/library/papers/arXiv:1406.3219 https://synthetic.dev/library/papers/arXiv:1406.5749 https://synthetic.dev/library/papers/arXiv:1406.6030 https://synthetic.dev/library/papers/arXiv:1406.6268 https://synthetic.dev/library/papers/arXiv:1407.2650 https://synthetic.dev/library/papers/arXiv:1408.0054 https://synthetic.dev/library/papers/arXiv:1408.5809 https://synthetic.dev/library/papers/arXiv:1408.5956 https://synthetic.dev/library/papers/arXiv:1409.6405 https://synthetic.dev/library/papers/arXiv:1409.6427 https://synthetic.dev/library/papers/arXiv:1410.6972 https://synthetic.dev/library/papers/arXiv:1410.8083 https://synthetic.dev/library/papers/arXiv:1411.2682 https://synthetic.dev/library/papers/arXiv:1412.6579 https://synthetic.dev/library/papers/arXiv:1412.7599 https://synthetic.dev/library/papers/arXiv:1501.00090 https://synthetic.dev/library/papers/arXiv:1501.04789 https://synthetic.dev/library/papers/arXiv:1501.05115 https://synthetic.dev/library/papers/arXiv:1502.05147 https://synthetic.dev/library/papers/arXiv:1502.05561 https://synthetic.dev/library/papers/arXiv:1503.02783 https://synthetic.dev/library/papers/arXiv:1503.04909 https://synthetic.dev/library/papers/arXiv:1504.02949 https://synthetic.dev/library/papers/arXiv:1504.05531 https://synthetic.dev/library/papers/arXiv:1506.07155 https://synthetic.dev/library/papers/arXiv:1507.01150 https://synthetic.dev/library/papers/arXiv:1508.04021 https://synthetic.dev/library/papers/arXiv:1508.06448 https://synthetic.dev/library/papers/arXiv:1509.01073 https://synthetic.dev/library/papers/arXiv:1509.07584 https://synthetic.dev/library/papers/arXiv:1510.00669 https://synthetic.dev/library/papers/arXiv:1510.03918 https://synthetic.dev/library/papers/arXiv:1510.06178 https://synthetic.dev/library/papers/arXiv:1510.08498 https://synthetic.dev/library/papers/arXiv:1510.09048 https://synthetic.dev/library/papers/arXiv:1511.05334 https://synthetic.dev/library/papers/arXiv:1511.06459 https://synthetic.dev/library/papers/arXiv:1511.09394 https://synthetic.dev/library/papers/arXiv:1512.04312 https://synthetic.dev/library/papers/arXiv:1601.01586 https://synthetic.dev/library/papers/arXiv:1601.04299 https://synthetic.dev/library/papers/arXiv:1601.04943 https://synthetic.dev/library/papers/arXiv:1601.05336 https://synthetic.dev/library/papers/arXiv:1601.06098 https://synthetic.dev/library/papers/arXiv:1601.06303 https://synthetic.dev/library/papers/arXiv:1602.00912 https://synthetic.dev/library/papers/arXiv:1602.01274 https://synthetic.dev/library/papers/arXiv:1602.03501 https://synthetic.dev/library/papers/arXiv:1602.03591 https://synthetic.dev/library/papers/arXiv:1602.04382 https://synthetic.dev/library/papers/arXiv:1602.04530 https://synthetic.dev/library/papers/arXiv:1603.02456 https://synthetic.dev/library/papers/arXiv:1604.01186 https://synthetic.dev/library/papers/arXiv:1604.01187 https://synthetic.dev/library/papers/arXiv:1604.02086 https://synthetic.dev/library/papers/arXiv:1604.03799 https://synthetic.dev/library/papers/arXiv:1604.08873 https://synthetic.dev/library/papers/arXiv:1605.04832 https://synthetic.dev/library/papers/arXiv:1605.06938 https://synthetic.dev/library/papers/arXiv:1606.01642 https://synthetic.dev/library/papers/arXiv:1606.08379 https://synthetic.dev/library/papers/arXiv:1606.09455 https://synthetic.dev/library/papers/arXiv:1606.09638 https://synthetic.dev/library/papers/arXiv:1607.04156 https://synthetic.dev/library/papers/arXiv:1607.04908 https://synthetic.dev/library/papers/arXiv:1607.05120 https://synthetic.dev/library/papers/arXiv:1608.02254 https://synthetic.dev/library/papers/arXiv:1608.03814 https://synthetic.dev/library/papers/arXiv:1608.04020 https://synthetic.dev/library/papers/arXiv:1609.09783 https://synthetic.dev/library/papers/arXiv:1610.00286 https://synthetic.dev/library/papers/arXiv:1610.01669 https://synthetic.dev/library/papers/arXiv:1610.05072 https://synthetic.dev/library/papers/arXiv:1610.08027 https://synthetic.dev/library/papers/arXiv:1610.09161 https://synthetic.dev/library/papers/arXiv:1611.01648 https://synthetic.dev/library/papers/arXiv:1611.02108 https://synthetic.dev/library/papers/arXiv:1612.02346 https://synthetic.dev/library/papers/arXiv:1612.03678 https://synthetic.dev/library/papers/arXiv:1612.05468 https://synthetic.dev/library/papers/arXiv:1701.02547 https://synthetic.dev/library/papers/arXiv:1701.02571 https://synthetic.dev/library/papers/arXiv:1701.02917 https://synthetic.dev/library/papers/arXiv:1701.04391 https://synthetic.dev/library/papers/arXiv:1701.06459 https://synthetic.dev/library/papers/arXiv:1701.07601 https://synthetic.dev/library/papers/arXiv:1701.07937 https://synthetic.dev/library/papers/arXiv:1702.01804 https://synthetic.dev/library/papers/arXiv:1702.02194 https://synthetic.dev/library/papers/arXiv:1702.04912 https://synthetic.dev/library/papers/arXiv:1702.08352 https://synthetic.dev/library/papers/arXiv:1703.03007 https://synthetic.dev/library/papers/arXiv:1703.03240 https://synthetic.dev/library/papers/arXiv:1703.07098 https://synthetic.dev/library/papers/arXiv:1703.08853 https://synthetic.dev/library/papers/arXiv:1704.03098 https://synthetic.dev/library/papers/arXiv:1704.04747 https://synthetic.dev/library/papers/arXiv:1704.04882 https://synthetic.dev/library/papers/arXiv:1704.05896 https://synthetic.dev/library/papers/arXiv:1704.07004 https://synthetic.dev/library/papers/arXiv:1704.08637 https://synthetic.dev/library/papers/arXiv:1705.00694 https://synthetic.dev/library/papers/arXiv:1705.01163 https://synthetic.dev/library/papers/arXiv:1705.03307 https://synthetic.dev/library/papers/arXiv:1705.03638 https://synthetic.dev/library/papers/arXiv:1705.04310 https://synthetic.dev/library/papers/arXiv:1705.07088 https://synthetic.dev/library/papers/arXiv:1705.07442 https://synthetic.dev/library/papers/arXiv:1706.00526 https://synthetic.dev/library/papers/arXiv:1706.00677 https://synthetic.dev/library/papers/arXiv:1706.00746 https://synthetic.dev/library/papers/arXiv:1706.01540 https://synthetic.dev/library/papers/arXiv:1706.07526 https://synthetic.dev/library/papers/arXiv:1707.03693 https://synthetic.dev/library/papers/arXiv:1708.01050 https://synthetic.dev/library/papers/arXiv:1708.02062 https://synthetic.dev/library/papers/arXiv:1709.00728 https://synthetic.dev/library/papers/arXiv:1709.03607 https://synthetic.dev/library/papers/arXiv:1709.10484 https://synthetic.dev/library/papers/arXiv:1710.02332 https://synthetic.dev/library/papers/arXiv:1710.02594 https://synthetic.dev/library/papers/arXiv:1710.03912 https://synthetic.dev/library/papers/arXiv:1710.10258 https://synthetic.dev/library/papers/arXiv:1710.10941 https://synthetic.dev/library/papers/arXiv:1711.04718 https://synthetic.dev/library/papers/arXiv:1711.06361 https://synthetic.dev/library/papers/arXiv:1711.08699 https://synthetic.dev/library/papers/arXiv:1712.01800 https://synthetic.dev/library/papers/arXiv:1712.03502 https://synthetic.dev/library/papers/arXiv:1712.04864 https://synthetic.dev/library/papers/arXiv:1712.04890 https://synthetic.dev/library/papers/arXiv:1712.04903 https://synthetic.dev/library/papers/arXiv:1712.06469 https://synthetic.dev/library/papers/arXiv:1712.09603 https://synthetic.dev/library/papers/arXiv:1801.01568 https://synthetic.dev/library/papers/arXiv:1801.07664 https://synthetic.dev/library/papers/arXiv:1802.00961 https://synthetic.dev/library/papers/arXiv:1802.00997 https://synthetic.dev/library/papers/arXiv:1802.01170 https://synthetic.dev/library/papers/arXiv:1802.02820 https://synthetic.dev/library/papers/arXiv:1802.05629 https://synthetic.dev/library/papers/arXiv:1802.07588 https://synthetic.dev/library/papers/arXiv:1803.01552 https://synthetic.dev/library/papers/arXiv:1803.01709 https://synthetic.dev/library/papers/arXiv:1803.02473 https://synthetic.dev/library/papers/arXiv:1803.05316 https://synthetic.dev/library/papers/arXiv:1803.10113 https://synthetic.dev/library/papers/arXiv:1804.00427 https://synthetic.dev/library/papers/arXiv:1804.01413 https://synthetic.dev/library/papers/arXiv:1804.01835 https://synthetic.dev/library/papers/arXiv:1804.03140 https://synthetic.dev/library/papers/arXiv:1804.03460 https://synthetic.dev/library/papers/arXiv:1804.03938 https://synthetic.dev/library/papers/arXiv:1804.05236 https://synthetic.dev/library/papers/arXiv:1804.06687 https://synthetic.dev/library/papers/arXiv:1804.07626 https://synthetic.dev/library/papers/arXiv:1804.09098 https://synthetic.dev/library/papers/arXiv:1805.00067 https://synthetic.dev/library/papers/arXiv:1805.00289 https://synthetic.dev/library/papers/arXiv:1805.02069 https://synthetic.dev/library/papers/arXiv:1805.07518 https://synthetic.dev/library/papers/arXiv:1805.10770 https://synthetic.dev/library/papers/arXiv:1805.11813 https://synthetic.dev/library/papers/arXiv:1806.04804 https://synthetic.dev/library/papers/arXiv:1806.05230 https://synthetic.dev/library/papers/arXiv:1806.05966 https://synthetic.dev/library/papers/arXiv:1806.06114 https://synthetic.dev/library/papers/arXiv:1806.08038 https://synthetic.dev/library/papers/arXiv:1806.08304 https://synthetic.dev/library/papers/arXiv:1806.09318 https://synthetic.dev/library/papers/arXiv:1806.10435 https://synthetic.dev/library/papers/arXiv:1806.10477 https://synthetic.dev/library/papers/arXiv:1807.00785 https://synthetic.dev/library/papers/arXiv:1807.04155 https://synthetic.dev/library/papers/arXiv:1807.05923 https://synthetic.dev/library/papers/arXiv:1807.08117 https://synthetic.dev/library/papers/arXiv:1807.10248 https://synthetic.dev/library/papers/arXiv:1808.01816 https://synthetic.dev/library/papers/arXiv:1808.02010 https://synthetic.dev/library/papers/arXiv:1808.08513 https://synthetic.dev/library/papers/arXiv:1808.10690 https://synthetic.dev/library/papers/arXiv:1809.02356 https://synthetic.dev/library/papers/arXiv:1809.03093 https://synthetic.dev/library/papers/arXiv:1809.03896 https://synthetic.dev/library/papers/arXiv:1809.05923 https://synthetic.dev/library/papers/arXiv:1809.07897 https://synthetic.dev/library/papers/arXiv:1809.08646 https://synthetic.dev/library/papers/arXiv:1809.09278 https://synthetic.dev/library/papers/arXiv:1810.06278 https://synthetic.dev/library/papers/arXiv:1810.07972 https://synthetic.dev/library/papers/arXiv:1810.11404 https://synthetic.dev/library/papers/arXiv:1810.13261 https://synthetic.dev/library/papers/arXiv:1811.04196 https://synthetic.dev/library/papers/arXiv:1811.05926 https://synthetic.dev/library/papers/arXiv:1811.12285 https://synthetic.dev/library/papers/arXiv:1811.12294 https://synthetic.dev/library/papers/arXiv:1812.02329 https://synthetic.dev/library/papers/arXiv:1812.04143 https://synthetic.dev/library/papers/arXiv:1812.04452 https://synthetic.dev/library/papers/arXiv:1812.10026 https://synthetic.dev/library/papers/arXiv:1901.01252 https://synthetic.dev/library/papers/arXiv:1901.01619 https://synthetic.dev/library/papers/arXiv:1901.06022 https://synthetic.dev/library/papers/arXiv:1902.00297 https://synthetic.dev/library/papers/arXiv:1902.04836 https://synthetic.dev/library/papers/arXiv:1902.06097 https://synthetic.dev/library/papers/arXiv:1902.06572 https://synthetic.dev/library/papers/arXiv:1902.06950 https://synthetic.dev/library/papers/arXiv:1902.10820 https://synthetic.dev/library/papers/arXiv:1903.01152 https://synthetic.dev/library/papers/arXiv:1903.03245 https://synthetic.dev/library/papers/arXiv:1903.03890 https://synthetic.dev/library/papers/arXiv:1903.05127 https://synthetic.dev/library/papers/arXiv:1903.06514 https://synthetic.dev/library/papers/arXiv:1903.06961 https://synthetic.dev/library/papers/arXiv:1903.08233 https://synthetic.dev/library/papers/arXiv:1903.10579 https://synthetic.dev/library/papers/arXiv:1904.04097 https://synthetic.dev/library/papers/arXiv:1904.04371 https://synthetic.dev/library/papers/arXiv:1904.06848 https://synthetic.dev/library/papers/arXiv:1904.07004 https://synthetic.dev/library/papers/arXiv:1904.08562 https://synthetic.dev/library/papers/arXiv:1904.10035 https://synthetic.dev/library/papers/arXiv:1904.10106 https://synthetic.dev/library/papers/arXiv:1905.03014 https://synthetic.dev/library/papers/arXiv:1905.05470 https://synthetic.dev/library/papers/arXiv:1905.05519 https://synthetic.dev/library/papers/arXiv:1905.05636 https://synthetic.dev/library/papers/arXiv:1905.06143 https://synthetic.dev/library/papers/arXiv:1905.06281 https://synthetic.dev/library/papers/arXiv:1906.01491 https://synthetic.dev/library/papers/arXiv:1906.01519 https://synthetic.dev/library/papers/arXiv:1906.01803 https://synthetic.dev/library/papers/arXiv:1906.09435 https://synthetic.dev/library/papers/arXiv:1907.02574 https://synthetic.dev/library/papers/arXiv:1907.02904 https://synthetic.dev/library/papers/arXiv:1907.03631 https://synthetic.dev/library/papers/arXiv:1907.04036 https://synthetic.dev/library/papers/arXiv:1907.05394 https://synthetic.dev/library/papers/arXiv:1907.09634 https://synthetic.dev/library/papers/arXiv:1908.03551 https://synthetic.dev/library/papers/arXiv:1908.04132 https://synthetic.dev/library/papers/arXiv:1908.04921 https://synthetic.dev/library/papers/arXiv:1908.07021 https://synthetic.dev/library/papers/arXiv:1908.08034 https://synthetic.dev/library/papers/arXiv:1908.08944 https://synthetic.dev/library/papers/arXiv:1908.09446 https://synthetic.dev/library/papers/arXiv:1908.10416 https://synthetic.dev/library/papers/arXiv:1909.00172 https://synthetic.dev/library/papers/arXiv:1909.05027 https://synthetic.dev/library/papers/arXiv:1909.13376 https://synthetic.dev/library/papers/arXiv:1909.13768 https://synthetic.dev/library/papers/arXiv:1910.09401 https://synthetic.dev/library/papers/arXiv:1910.09633 https://synthetic.dev/library/papers/arXiv:1910.11629 https://synthetic.dev/library/papers/arXiv:1910.12137 https://synthetic.dev/library/papers/arXiv:1911.00874 https://synthetic.dev/library/papers/arXiv:1911.04523 https://synthetic.dev/library/papers/arXiv:1911.05844 https://synthetic.dev/library/papers/arXiv:1911.06899 https://synthetic.dev/library/papers/arXiv:1911.08174 https://synthetic.dev/library/papers/arXiv:1911.09594 https://synthetic.dev/library/papers/arXiv:1912.02885 https://synthetic.dev/library/papers/arXiv:1912.07339 https://synthetic.dev/library/papers/arXiv:1912.07462 https://synthetic.dev/library/papers/arXiv:1912.10407 https://synthetic.dev/library/papers/arXiv:1912.10961 https://synthetic.dev/library/papers/arXiv:1912.11273 https://synthetic.dev/library/papers/arXiv:1912.12090 https://synthetic.dev/library/papers/arXiv:1912.13477 https://synthetic.dev/library/papers/arXiv:2001.02209 https://synthetic.dev/library/papers/arXiv:2001.02828 https://synthetic.dev/library/papers/arXiv:2001.04182 https://synthetic.dev/library/papers/arXiv:2001.06696 https://synthetic.dev/library/papers/arXiv:2001.06863 https://synthetic.dev/library/papers/arXiv:2001.07655 https://synthetic.dev/library/papers/arXiv:2001.08478 https://synthetic.dev/library/papers/arXiv:2001.10274 https://synthetic.dev/library/papers/arXiv:2002.00188 https://synthetic.dev/library/papers/arXiv:2002.00239 https://synthetic.dev/library/papers/arXiv:2002.00298 https://synthetic.dev/library/papers/arXiv:2002.01091 https://synthetic.dev/library/papers/arXiv:2002.05075 https://synthetic.dev/library/papers/arXiv:2002.07079 https://synthetic.dev/library/papers/arXiv:2002.08150 https://synthetic.dev/library/papers/arXiv:2002.08392 https://synthetic.dev/library/papers/arXiv:2003.01491 https://synthetic.dev/library/papers/arXiv:2003.02110 https://synthetic.dev/library/papers/arXiv:2003.05213 https://synthetic.dev/library/papers/arXiv:2003.06488 https://synthetic.dev/library/papers/arXiv:2003.09453 https://synthetic.dev/library/papers/arXiv:2004.01709 https://synthetic.dev/library/papers/arXiv:2004.02560 https://synthetic.dev/library/papers/arXiv:2004.05631 https://synthetic.dev/library/papers/arXiv:2004.06572 https://synthetic.dev/library/papers/arXiv:2004.08964 https://synthetic.dev/library/papers/arXiv:2004.09697 https://synthetic.dev/library/papers/arXiv:2004.12740 https://synthetic.dev/library/papers/arXiv:2004.13472 https://synthetic.dev/library/papers/arXiv:2004.14195 https://synthetic.dev/library/papers/arXiv:2005.00198 https://synthetic.dev/library/papers/arXiv:2005.00199 https://synthetic.dev/library/papers/arXiv:2005.00260 https://synthetic.dev/library/papers/arXiv:2005.00404 https://synthetic.dev/library/papers/arXiv:2005.01894 https://synthetic.dev/library/papers/arXiv:2005.02247 https://synthetic.dev/library/papers/arXiv:2005.04453 https://synthetic.dev/library/papers/arXiv:2005.04853 https://synthetic.dev/library/papers/arXiv:2005.08396 https://synthetic.dev/library/papers/arXiv:2005.10015 https://synthetic.dev/library/papers/arXiv:2005.11290 https://synthetic.dev/library/papers/arXiv:2005.11444 https://synthetic.dev/library/papers/arXiv:2005.11551 https://synthetic.dev/library/papers/arXiv:2005.13654 https://synthetic.dev/library/papers/arXiv:2005.13814 https://synthetic.dev/library/papers/arXiv:2005.14240 https://synthetic.dev/library/papers/arXiv:2006.02887 https://synthetic.dev/library/papers/arXiv:2006.06415 https://synthetic.dev/library/papers/arXiv:2006.08854 https://synthetic.dev/library/papers/arXiv:2006.11736 https://synthetic.dev/library/papers/arXiv:2006.16453 https://synthetic.dev/library/papers/arXiv:2006.16949 https://synthetic.dev/library/papers/arXiv:2007.00167 https://synthetic.dev/library/papers/arXiv:2007.05833 https://synthetic.dev/library/papers/arXiv:2007.08094 https://synthetic.dev/library/papers/arXiv:2007.10057 https://synthetic.dev/library/papers/arXiv:2007.11235 https://synthetic.dev/library/papers/arXiv:2007.16161 https://synthetic.dev/library/papers/arXiv:2008.00070 https://synthetic.dev/library/papers/arXiv:2008.00075 https://synthetic.dev/library/papers/arXiv:2008.06351 https://synthetic.dev/library/papers/arXiv:2008.09238 https://synthetic.dev/library/papers/arXiv:2008.10131 https://synthetic.dev/library/papers/arXiv:2008.10307 https://synthetic.dev/library/papers/arXiv:2008.10677 https://synthetic.dev/library/papers/arXiv:2008.11094 https://synthetic.dev/library/papers/arXiv:2008.12433 https://synthetic.dev/library/papers/arXiv:2009.01883 https://synthetic.dev/library/papers/arXiv:2009.04377 https://synthetic.dev/library/papers/arXiv:2009.05539 https://synthetic.dev/library/papers/arXiv:2009.05547 https://synthetic.dev/library/papers/arXiv:2009.07125 https://synthetic.dev/library/papers/arXiv:2009.07539 https://synthetic.dev/library/papers/arXiv:2009.10387 https://synthetic.dev/library/papers/arXiv:2010.01187 https://synthetic.dev/library/papers/arXiv:2010.05242 https://synthetic.dev/library/papers/arXiv:2010.06361 https://synthetic.dev/library/papers/arXiv:2010.07253 https://synthetic.dev/library/papers/arXiv:2010.07416 https://synthetic.dev/library/papers/arXiv:2010.10656 https://synthetic.dev/library/papers/arXiv:2010.13163 https://synthetic.dev/library/papers/arXiv:2010.13328 https://synthetic.dev/library/papers/arXiv:2010.14166 https://synthetic.dev/library/papers/arXiv:2011.00272 https://synthetic.dev/library/papers/arXiv:2011.00412 https://synthetic.dev/library/papers/arXiv:2011.03004 https://synthetic.dev/library/papers/arXiv:2011.04899 https://synthetic.dev/library/papers/arXiv:2011.06644 https://synthetic.dev/library/papers/arXiv:2011.13171 https://synthetic.dev/library/papers/arXiv:2011.14303 https://synthetic.dev/library/papers/arXiv:2011.15021 https://synthetic.dev/library/papers/arXiv:2012.01847 https://synthetic.dev/library/papers/arXiv:2012.02113 https://synthetic.dev/library/papers/arXiv:2012.10157 https://synthetic.dev/library/papers/arXiv:2012.10641 https://synthetic.dev/library/papers/arXiv:2012.10783 https://synthetic.dev/library/papers/arXiv:2101.01033 https://synthetic.dev/library/papers/arXiv:2101.03809 https://synthetic.dev/library/papers/arXiv:2101.03810 https://synthetic.dev/library/papers/arXiv:2101.04819 https://synthetic.dev/library/papers/arXiv:2101.08491 https://synthetic.dev/library/papers/arXiv:2101.08720 https://synthetic.dev/library/papers/arXiv:2101.09655 https://synthetic.dev/library/papers/arXiv:2101.10487 https://synthetic.dev/library/papers/arXiv:2101.11479 https://synthetic.dev/library/papers/arXiv:2102.00936 https://synthetic.dev/library/papers/arXiv:2102.01969 https://synthetic.dev/library/papers/arXiv:2102.04099 https://synthetic.dev/library/papers/arXiv:2102.06146 https://synthetic.dev/library/papers/arXiv:2102.06860 https://synthetic.dev/library/papers/arXiv:2102.11639 https://synthetic.dev/library/papers/arXiv:2102.11649 https://synthetic.dev/library/papers/arXiv:2103.05581 https://synthetic.dev/library/papers/arXiv:2103.07397 https://synthetic.dev/library/papers/arXiv:2103.12762 https://synthetic.dev/library/papers/arXiv:2103.14466 https://synthetic.dev/library/papers/arXiv:2103.14481 https://synthetic.dev/library/papers/arXiv:2104.02549 https://synthetic.dev/library/papers/arXiv:2105.01724 https://synthetic.dev/library/papers/arXiv:2105.02639 https://synthetic.dev/library/papers/arXiv:2105.03389 https://synthetic.dev/library/papers/arXiv:2105.04059 https://synthetic.dev/library/papers/arXiv:2105.08155 https://synthetic.dev/library/papers/arXiv:2105.08231 https://synthetic.dev/library/papers/arXiv:2105.08422 https://synthetic.dev/library/papers/arXiv:2105.08996 https://synthetic.dev/library/papers/arXiv:2105.10946 https://synthetic.dev/library/papers/arXiv:2105.13286 https://synthetic.dev/library/papers/arXiv:2106.01414 https://synthetic.dev/library/papers/arXiv:2106.01484 https://synthetic.dev/library/papers/arXiv:2106.07763 https://synthetic.dev/library/papers/arXiv:2106.07890 https://synthetic.dev/library/papers/arXiv:2106.08142 https://synthetic.dev/library/papers/arXiv:2106.08291 https://synthetic.dev/library/papers/arXiv:2106.12975 https://synthetic.dev/library/papers/arXiv:2106.13826 https://synthetic.dev/library/papers/arXiv:2106.14153 https://synthetic.dev/library/papers/arXiv:2106.15001 https://synthetic.dev/library/papers/arXiv:2106.15932 https://synthetic.dev/library/papers/arXiv:2107.01594 https://synthetic.dev/library/papers/arXiv:2107.02082 https://synthetic.dev/library/papers/arXiv:2107.04832 https://synthetic.dev/library/papers/arXiv:2107.05261 https://synthetic.dev/library/papers/arXiv:2107.09581 https://synthetic.dev/library/papers/arXiv:2107.10092 https://synthetic.dev/library/papers/arXiv:2107.10349 https://synthetic.dev/library/papers/arXiv:2107.13242 https://synthetic.dev/library/papers/arXiv:2107.13373 https://synthetic.dev/library/papers/arXiv:2107.14283 https://synthetic.dev/library/papers/arXiv:2108.06168 https://synthetic.dev/library/papers/arXiv:2108.06348 https://synthetic.dev/library/papers/arXiv:2108.11137 https://synthetic.dev/library/papers/arXiv:2108.11304 https://synthetic.dev/library/papers/arXiv:2109.00311 https://synthetic.dev/library/papers/arXiv:2109.01065 https://synthetic.dev/library/papers/arXiv:2109.04632 https://synthetic.dev/library/papers/arXiv:2109.06049 https://synthetic.dev/library/papers/arXiv:2109.10391 https://synthetic.dev/library/papers/arXiv:2110.00239 https://synthetic.dev/library/papers/arXiv:2110.02804 https://synthetic.dev/library/papers/arXiv:2110.05412 https://synthetic.dev/library/papers/arXiv:2110.07689 https://synthetic.dev/library/papers/arXiv:2110.09844 https://synthetic.dev/library/papers/arXiv:2110.14576 https://synthetic.dev/library/papers/arXiv:2111.01883 https://synthetic.dev/library/papers/arXiv:2111.04619 https://synthetic.dev/library/papers/arXiv:2111.06368 https://synthetic.dev/library/papers/arXiv:2111.07081 https://synthetic.dev/library/papers/arXiv:2111.10315 https://synthetic.dev/library/papers/arXiv:2111.10862 https://synthetic.dev/library/papers/arXiv:2111.10968 https://synthetic.dev/library/papers/arXiv:2111.13765 https://synthetic.dev/library/papers/arXiv:2111.14208 https://synthetic.dev/library/papers/arXiv:2111.14736 https://synthetic.dev/library/papers/arXiv:2111.15149 https://synthetic.dev/library/papers/arXiv:2112.00539 https://synthetic.dev/library/papers/arXiv:2112.02707 https://synthetic.dev/library/papers/arXiv:2112.06339 https://synthetic.dev/library/papers/arXiv:2112.06633 https://synthetic.dev/library/papers/arXiv:2112.06871 https://synthetic.dev/library/papers/arXiv:2112.06984 https://synthetic.dev/library/papers/arXiv:2112.08043 https://synthetic.dev/library/papers/arXiv:2112.11781 https://synthetic.dev/library/papers/arXiv:2112.14050 https://synthetic.dev/library/papers/arXiv:2112.14056 https://synthetic.dev/library/papers/arXiv:2112.14057 https://synthetic.dev/library/papers/arXiv:2112.14965 https://synthetic.dev/library/papers/arXiv:2112.14966 https://synthetic.dev/library/papers/arXiv:2201.03046 https://synthetic.dev/library/papers/arXiv:2201.10012 https://synthetic.dev/library/papers/arXiv:2201.10287 https://synthetic.dev/library/papers/arXiv:2201.12878 https://synthetic.dev/library/papers/arXiv:2202.00534 https://synthetic.dev/library/papers/arXiv:2202.01892 https://synthetic.dev/library/papers/arXiv:2202.05701 https://synthetic.dev/library/papers/arXiv:2202.06546 https://synthetic.dev/library/papers/arXiv:2202.08246 https://synthetic.dev/library/papers/arXiv:2202.08657 https://synthetic.dev/library/papers/arXiv:2202.12012 https://synthetic.dev/library/papers/arXiv:2202.12386 https://synthetic.dev/library/papers/arXiv:2202.13132 https://synthetic.dev/library/papers/arXiv:2202.13633 https://synthetic.dev/library/papers/arXiv:2203.01032 https://synthetic.dev/library/papers/arXiv:2203.01676 https://synthetic.dev/library/papers/arXiv:2203.02461 https://synthetic.dev/library/papers/arXiv:2203.07194 https://synthetic.dev/library/papers/arXiv:2203.09501 https://synthetic.dev/library/papers/arXiv:2203.10711 https://synthetic.dev/library/papers/arXiv:2203.11588 https://synthetic.dev/library/papers/arXiv:2203.12490 https://synthetic.dev/library/papers/arXiv:2203.12875 https://synthetic.dev/library/papers/arXiv:2203.13000 https://synthetic.dev/library/papers/arXiv:2203.13069 https://synthetic.dev/library/papers/arXiv:2203.14891 https://synthetic.dev/library/papers/arXiv:2204.02284 https://synthetic.dev/library/papers/arXiv:2204.02616 https://synthetic.dev/library/papers/arXiv:2204.02778 https://synthetic.dev/library/papers/arXiv:2204.03553 https://synthetic.dev/library/papers/arXiv:2204.03586 https://synthetic.dev/library/papers/arXiv:2204.03870 https://synthetic.dev/library/papers/arXiv:2204.06719 https://synthetic.dev/library/papers/arXiv:2204.06727 https://synthetic.dev/library/papers/arXiv:2204.08351 https://synthetic.dev/library/papers/arXiv:2204.08374 https://synthetic.dev/library/papers/arXiv:2204.09421 https://synthetic.dev/library/papers/arXiv:2204.10589 https://synthetic.dev/library/papers/arXiv:2204.11023 https://synthetic.dev/library/papers/arXiv:2204.12368 https://synthetic.dev/library/papers/arXiv:2204.13654 https://synthetic.dev/library/papers/arXiv:2205.00386 https://synthetic.dev/library/papers/arXiv:2205.00448 https://synthetic.dev/library/papers/arXiv:2205.00574 https://synthetic.dev/library/papers/arXiv:2205.00798 https://synthetic.dev/library/papers/arXiv:2205.05182 https://synthetic.dev/library/papers/arXiv:2205.05392 https://synthetic.dev/library/papers/arXiv:2205.06068 https://synthetic.dev/library/papers/arXiv:2205.06589 https://synthetic.dev/library/papers/arXiv:2205.06651 https://synthetic.dev/library/papers/arXiv:2205.08646 https://synthetic.dev/library/papers/arXiv:2205.10917 https://synthetic.dev/library/papers/arXiv:2205.11056 https://synthetic.dev/library/papers/arXiv:2205.11491 https://synthetic.dev/library/papers/arXiv:2205.12875 https://synthetic.dev/library/papers/arXiv:2205.13686 https://synthetic.dev/library/papers/arXiv:2205.15887 https://synthetic.dev/library/papers/arXiv:2206.03868 https://synthetic.dev/library/papers/arXiv:2206.05716 https://synthetic.dev/library/papers/arXiv:2206.06858 https://synthetic.dev/library/papers/arXiv:2206.09250 https://synthetic.dev/library/papers/arXiv:2206.09678 https://synthetic.dev/library/papers/arXiv:2206.12156 https://synthetic.dev/library/papers/arXiv:2206.14033 https://synthetic.dev/library/papers/arXiv:2207.00526 https://synthetic.dev/library/papers/arXiv:2207.00851 https://synthetic.dev/library/papers/arXiv:2207.01967 https://synthetic.dev/library/papers/arXiv:2207.02728 https://synthetic.dev/library/papers/arXiv:2207.03261 https://synthetic.dev/library/papers/arXiv:2207.03749 https://synthetic.dev/library/papers/arXiv:2207.03802 https://synthetic.dev/library/papers/arXiv:2207.05740 https://synthetic.dev/library/papers/arXiv:2207.08777 https://synthetic.dev/library/papers/arXiv:2207.10871 https://synthetic.dev/library/papers/arXiv:2207.13156 https://synthetic.dev/library/papers/arXiv:2207.13912 https://synthetic.dev/library/papers/arXiv:2207.14139 https://synthetic.dev/library/papers/arXiv:2208.02585 https://synthetic.dev/library/papers/arXiv:2208.02989 https://synthetic.dev/library/papers/arXiv:2208.03817 https://synthetic.dev/library/papers/arXiv:2208.03844 https://synthetic.dev/library/papers/arXiv:2208.06529 https://synthetic.dev/library/papers/arXiv:2208.08070 https://synthetic.dev/library/papers/arXiv:2208.08719 https://synthetic.dev/library/papers/arXiv:2208.09353 https://synthetic.dev/library/papers/arXiv:2209.08415 https://synthetic.dev/library/papers/arXiv:2210.00654 https://synthetic.dev/library/papers/arXiv:2211.13140 https://synthetic.dev/library/papers/arXiv:2212.04182 https://synthetic.dev/library/papers/arXiv:2212.07250 https://synthetic.dev/library/papers/arXiv:2212.08177 https://synthetic.dev/library/papers/arXiv:2301.02194 https://synthetic.dev/library/papers/arXiv:2301.09802 https://synthetic.dev/library/papers/arXiv:2301.12851 https://synthetic.dev/library/papers/arXiv:2301.13054 https://synthetic.dev/library/papers/arXiv:2302.00958 https://synthetic.dev/library/papers/arXiv:2302.01415 https://synthetic.dev/library/papers/arXiv:2302.01834 https://synthetic.dev/library/papers/arXiv:2302.03123 https://synthetic.dev/library/papers/arXiv:2302.03691 https://synthetic.dev/library/papers/arXiv:2302.14014 https://synthetic.dev/library/papers/arXiv:2303.00322 https://synthetic.dev/library/papers/arXiv:2303.01328 https://synthetic.dev/library/papers/arXiv:2303.02065 https://synthetic.dev/library/papers/arXiv:2303.02555 https://synthetic.dev/library/papers/arXiv:2303.04795 https://synthetic.dev/library/papers/de:0030-drops-100490 https://synthetic.dev/library/papers/de:0030-drops-116578 https://synthetic.dev/library/papers/de:0030-drops-130707 https://synthetic.dev/library/papers/de:0030-drops-138876 https://synthetic.dev/library/papers/de:0030-drops-157310 https://synthetic.dev/library/papers/de:0030-drops-162920 https://synthetic.dev/library/papers/de:0030-drops-162965 https://synthetic.dev/library/papers/de:0030-drops-163019 https://synthetic.dev/library/papers/de:0030-drops-163048 https://synthetic.dev/library/papers/de:0030-drops-163129 https://synthetic.dev/library/papers/de:0030-drops-22581 https://synthetic.dev/library/papers/de:0030-drops-54374 https://synthetic.dev/library/papers/de:0030-drops-54980 https://synthetic.dev/library/papers/de:0030-drops-55436 https://synthetic.dev/library/papers/de:0030-drops-85382 https://synthetic.dev/library/papers/de:0030-drops-91906 https://synthetic.dev/library/papers/de:0030-drops-95564 https://synthetic.dev/library/papers/de:0030-drops-97025 https://synthetic.dev/library/papers/hal-00479818 https://synthetic.dev/library/papers/hal-00805966 https://synthetic.dev/library/papers/hal-01094195 https://synthetic.dev/library/papers/hal-01339037 https://synthetic.dev/library/papers/hal-01376235 https://synthetic.dev/library/papers/hal-01430737 https://synthetic.dev/library/papers/hal-01716485 https://synthetic.dev/library/papers/hal-01832031 https://synthetic.dev/library/papers/hal-01905641 https://synthetic.dev/library/papers/hal-02166199 https://synthetic.dev/library/papers/hal-02393949 https://synthetic.dev/library/papers/hal-02476219 https://synthetic.dev/library/papers/hal-02487175 https://synthetic.dev/library/papers/hal-03338785 https://synthetic.dev/library/papers/hal-03346791 https://synthetic.dev/library/papers/hal-03367052 https://synthetic.dev/library/papers/hal-03374648 https://synthetic.dev/library/papers/hal-03457379 https://synthetic.dev/library/papers/hal-03579451 https://synthetic.dev/library/papers/hal-03580081 https://synthetic.dev/library/papers/hal-03867393 https://synthetic.dev/library/papers/inria-00524942 https://synthetic.dev/library/papers/inria-00614042 https://synthetic.dev/library/papers/tel-01589656 https://synthetic.dev/library/papers/tel-01676953 https://synthetic.dev/library/authors/Aaron_Stump 2022-09-25 https://synthetic.dev/library/authors/Alex_Simpson 2022-09-25 https://synthetic.dev/library/authors/Ambrus_Kaposi 2022-09-25 https://synthetic.dev/library/authors/Anders_Kock 2022-09-25 https://synthetic.dev/library/authors/Anders_M%C3%B6rtberg 2022-08-17 https://synthetic.dev/library/authors/Andreas_Abel 2022-09-25 https://synthetic.dev/library/authors/Andrej_Bauer 2022-09-25 https://synthetic.dev/library/authors/Andrew_Swan 2022-08-17 https://synthetic.dev/library/authors/Andr%C3%A1s_Kov%C3%A1cs 2023-02-19 https://synthetic.dev/library/authors/Bart_Jacobs 2022-08-17 https://synthetic.dev/library/authors/Bassel_Mannaa 2022-08-17 https://synthetic.dev/library/authors/Benedikt_Ahrens 2022-08-17 https://synthetic.dev/library/authors/Benno_van_den_Berg 2022-08-17 https://synthetic.dev/library/authors/Carlo_Angiuli 2022-08-17 https://synthetic.dev/library/authors/Chris_Kapulkin 2022-08-17 https://synthetic.dev/library/authors/Christian_Sattler 2022-08-17 https://synthetic.dev/library/authors/Daniel_Gratzer 2022-08-17 https://synthetic.dev/library/authors/Daniel_Murfet 2023-03-12 https://synthetic.dev/library/authors/David_Fern%C3%A1ndez-Duque 2022-08-17 https://synthetic.dev/library/authors/David_Michael_Roberts 2022-08-17 https://synthetic.dev/library/authors/David_Spivak 2023-02-26 https://synthetic.dev/library/authors/Denis_Firsov 2022-08-17 https://synthetic.dev/library/authors/Dominic_Orchard 2023-03-19 https://synthetic.dev/library/authors/Emily_Riehl 2022-08-17 https://synthetic.dev/library/authors/Evan_Cavallo 2022-08-17 https://synthetic.dev/library/authors/Filippo_Bonchi 2022-08-17 https://synthetic.dev/library/authors/Francesco_Dagnino 2023-02-09 https://synthetic.dev/library/authors/Fredrik_Nordvall_Forsberg 2022-08-17 https://synthetic.dev/library/authors/Helle_Hvid_Hansen 2022-08-17 https://synthetic.dev/library/authors/Herman_Geuvers 2022-08-17 https://synthetic.dev/library/authors/Hugo_Luiz_Mariano 2023-03-09 https://synthetic.dev/library/authors/Ieke_Moerdijk 2022-08-17 https://synthetic.dev/library/authors/Jakob_von_Raumer 2022-09-25 https://synthetic.dev/library/authors/Jan_Rutten 2022-08-17 https://synthetic.dev/library/authors/Joachim_Kock 2022-08-17 https://synthetic.dev/library/authors/Jonathan_Sterling 2022-08-17 https://synthetic.dev/library/authors/Jonathan_Weinberger 2022-08-17 https://synthetic.dev/library/authors/J%C3%B6rg_Endrullis 2022-08-17 https://synthetic.dev/library/authors/Luis_Scoccola 2022-08-17 https://synthetic.dev/library/authors/Marcelo_Fiore 2023-04-08 https://synthetic.dev/library/authors/Matija_Pretnar 2023-03-06 https://synthetic.dev/library/authors/Michael_Shulman 2022-08-17 https://synthetic.dev/library/authors/Neil_Ghani 2022-08-17 https://synthetic.dev/library/authors/Niccol%C3%B2_Veltri 2023-03-09 https://synthetic.dev/library/authors/Nicola_Gambino 2022-08-17 https://synthetic.dev/library/authors/Nicolai_Kraus 2022-08-17 https://synthetic.dev/library/authors/Nima_Rasekh 2022-08-17 https://synthetic.dev/library/authors/Noam_Zeilberger 2022-08-17 https://synthetic.dev/library/authors/Norihiro_Yamada 2022-12-14 https://synthetic.dev/library/authors/Ohad_Kammar 2023-03-06 https://synthetic.dev/library/authors/Paige_Randall_North 2022-08-17 https://synthetic.dev/library/authors/Paolo_Capriotti 2022-08-17 https://synthetic.dev/library/authors/Patricia_Johann 2022-08-17 https://synthetic.dev/library/authors/Paul-Andr%C3%A9_Melli%C3%A8s 2022-08-17 https://synthetic.dev/library/authors/Pawel_Sobocinski 2022-08-17 https://synthetic.dev/library/authors/Peng_Fu 2022-08-17 https://synthetic.dev/library/authors/Peter_LeFanu_Lumsdaine 2022-08-17 https://synthetic.dev/library/authors/Prakash_Panangaden 2022-08-17 https://synthetic.dev/library/authors/Ralph_Matthes 2022-08-17 https://synthetic.dev/library/authors/Rasmus_Ejlers_M%C3%B8gelberg 2022-08-17 https://synthetic.dev/library/authors/Robert_Harper 2022-08-17 https://synthetic.dev/library/authors/Robin_Houston 2023-03-21 https://synthetic.dev/library/authors/Ross_Street 2022-08-17 https://synthetic.dev/library/authors/Samson_Abramsky 2022-12-14 https://synthetic.dev/library/authors/Shin-ya_Katsumata 2023-03-09 https://synthetic.dev/library/authors/Stepan_Kuznetsov 2023-03-10 https://synthetic.dev/library/authors/Steve_Awodey 2022-08-17 https://synthetic.dev/library/authors/Taichi_Uemura 2022-08-17 https://synthetic.dev/library/authors/Tarmo_Uustalu 2023-03-09 https://synthetic.dev/library/authors/Thierry_Coquand 2022-08-17 https://synthetic.dev/library/authors/Thorsten_Altenkirch 2022-08-17 https://synthetic.dev/library/authors/Tikhon_Pshenitsyn 2023-03-09 https://synthetic.dev/library/authors/Tobias_Fritz 2022-08-17 https://synthetic.dev/library/authors/Urs_Schreiber 2023-02-09 https://synthetic.dev/library/authors/Willem_Heijltjes 2023-03-21 https://synthetic.dev/library/authors/Yannick_Forster 2023-03-06