{"total":14,"rows":[{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46,"area":null},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","cited_by_count":37,"area":null},{"id":"2202.08396","title":"Augment with Care: Contrastive Learning for Combinatorial Problems","created":"2022-02-17","cited_by_count":22,"area":null},{"id":"2107.11864","title":"Neural Circuit Synthesis from Specification Patterns","created":"2021-07-25","cited_by_count":17,"area":null},{"id":"2206.04115","title":"Simplifying Polylogarithms with Machine Learning","created":"2022-06-08","cited_by_count":15,"area":null},{"id":"2107.08387","title":"Train on Small, Play the Large: Scaling Up Board Games with AlphaZero and GNN","created":"2021-07-18","cited_by_count":6,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2111.07568","title":"Can Graph Neural Networks Learn to Solve MaxSAT Problem?","created":"2021-11-15","cited_by_count":5,"area":null},{"id":"2211.12581","title":"UNSAT Solver Synthesis via Monte Carlo Forest Search","created":"2022-11-22","cited_by_count":3,"area":null},{"id":"2112.04187","title":"Pretrained Cost Model for Distributed Constraint Optimization Problems","created":"2021-12-08","cited_by_count":1,"area":null},{"id":"2310.19990","title":"Unveiling the Limits of Learned Local Search Heuristics: Are You the Mightiest of the Meek?","created":"2023-10-30","cited_by_count":1,"area":null},{"id":"2402.08365","title":"Learning Better Representations From Less Data For Propositional Satisfiability","created":"2024-02-13","cited_by_count":1,"area":null},{"id":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null}],"next_cursor":null}