{"total":15,"rows":[{"id":"2102.03357","title":"Machine Learning for Electronic Design Automation: A Survey","created":"2021-01-10","cited_by_count":72,"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":"2409.13724","title":"Logically Consistent Language Models via Neuro-Symbolic Integration","created":"2024-09-09","cited_by_count":30,"area":null},{"id":"2112.09054","title":"Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability","created":"2021-12-16","cited_by_count":18,"area":null},{"id":"2104.02899","title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units","created":"2021-04-07","cited_by_count":8,"area":null},{"id":"2204.10615","title":"Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks","created":"2022-04-22","cited_by_count":8,"area":null},{"id":"2303.06686","title":"MizAR 60 for Mizar 50","created":"2023-03-12","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":"2602.13237","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","created":"2026-01-29","cited_by_count":5,"area":null},{"id":"2104.06365","title":"Neuro-Symbolic VQA: A review from the perspective of AGI desiderata","created":"2021-04-13","cited_by_count":4,"area":null},{"id":"2106.09225","title":"On the Capabilities of Pointer Networks for Deep Deductive Reasoning","created":"2021-06-17","cited_by_count":4,"area":null},{"id":"2403.03401","title":"BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving","created":"2024-03-06","cited_by_count":2,"area":null},{"id":"2210.05723","title":"Embeddings as Epistemic States: Limitations on the Use of Pooling Operators for Accumulating Knowledge","created":"2022-10-11","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},{"id":"2505.12143","title":"Structured Relational Representations","created":"2025-05-17","cited_by_count":0,"area":null}],"next_cursor":null}