{"total":75,"rows":[{"id":"2401.03065","title":"CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution","created":"2024-01-05","cited_by_count":300,"area":null},{"id":"2403.01632","title":"SynCode: LLM Generation with Grammar Augmentation","created":"2024-03-03","cited_by_count":69,"area":null},{"id":"2410.03981","title":"A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages","created":"2024-10-04","cited_by_count":66,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2504.13139","title":"Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo","created":"2025-04-17","cited_by_count":46,"area":null},{"id":"2501.05435","title":"Neuro-Symbolic AI in 2024: A Systematic Review","created":"2025-01-09","cited_by_count":38,"area":null},{"id":"2406.06467","title":"How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad","created":"2024-06-10","cited_by_count":36,"area":null},{"id":"2405.01379","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","created":"2024-05-02","cited_by_count":35,"area":null},{"id":"2501.01767","title":"LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction","created":"2025-01-03","cited_by_count":25,"area":null},{"id":"2505.00026","title":"Theory of Mind in Large Language Models: Assessment and Enhancement","created":"2025-04-26","cited_by_count":25,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2504.05410","title":"Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling","created":"2025-04-07","cited_by_count":21,"area":null},{"id":"2411.11504","title":"Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering","created":"2024-11-18","cited_by_count":16,"area":null},{"id":"2506.18110","title":"RL for Reasoning by Adaptively Revealing Rationales","created":"2025-06-22","cited_by_count":16,"area":null},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2402.13399","title":"Learning and Sustaining Shared Normative Systems via Bayesian Rule Induction in Markov Games","created":"2024-02-20","cited_by_count":11,"area":null},{"id":"2510.21302","title":"Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning","created":"2025-10-24","cited_by_count":11,"area":null},{"id":"2410.23299","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","created":"2024-10-15","cited_by_count":10,"area":null},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2406.02791","title":"Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback","created":"2024-06-04","cited_by_count":8,"area":null},{"id":"2505.24264","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","created":"2025-05-30","cited_by_count":8,"area":null},{"id":"2604.25031","title":"Faithful Autoformalization via Roundtrip Verification and Repair","created":"2026-04-27","cited_by_count":8,"area":null},{"id":"2505.16477","title":"Advancing the Scientific Method with Large Language Models: From Hypothesis to Discovery","created":"2025-05-22","cited_by_count":7,"area":null},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2402.10767","title":"Inference to the Best Explanation in Large Language Models","created":"2024-02-16","cited_by_count":5,"area":null},{"id":"2411.11465","title":"Re-examining learning linear functions in context","created":"2024-11-18","cited_by_count":5,"area":null},{"id":"2502.16757","title":"Entailment-Preserving First-order Logic Representations in Natural Language Entailment","created":"2025-02-24","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":"2403.16097","title":"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs","created":"2024-03-24","cited_by_count":4,"area":null},{"id":"2601.17789","title":"Neuro-Symbolic Verification on Instruction Following of LLMs","created":"2026-01-25","cited_by_count":4,"area":null},{"id":"2401.14043","title":"Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey","created":"2024-01-25","cited_by_count":3,"area":null},{"id":"2408.08648","title":"Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation","created":"2024-08-16","cited_by_count":2,"area":null},{"id":"2410.03203","title":"Learning Semantic Structure through First-Order-Logic Translation","created":"2024-10-04","cited_by_count":2,"area":null},{"id":"2502.13953","title":"Benchmarking graph construction by large language models for coherence-driven inference","created":"2025-02-19","cited_by_count":2,"area":null},{"id":"2503.17339","title":"Can AI expose tax loopholes? Towards a new generation of legal policy assistants","created":"2025-03-21","cited_by_count":2,"area":null},{"id":"2505.21486","title":"Hypothesis Generation via LLM-Automated Language Bias for ILP","created":"2025-05-27","cited_by_count":2,"area":null},{"id":"2507.04793","title":"A Survey of Pun Generation: Datasets, Evaluations and Methodologies","created":"2025-07-07","cited_by_count":2,"area":null},{"id":"2511.11816","title":"Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2602.04892","title":"Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","cited_by_count":2,"area":null},{"id":"2605.11167","title":"The Bicameral Model: Bidirectional Hidden-State Coupling Between Parallel Language Models","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2409.17005","title":"Models Can and Should Embrace the Communicative Nature of Human-Generated Math","created":"2024-09-25","cited_by_count":1,"area":null},{"id":"2603.14586","title":"The Scenic Route to Deception: Dark Patterns and Explainability Pitfalls in Conversational Navigation","created":"2026-03-15","cited_by_count":1,"area":null},{"id":"2604.08849","title":"SatIR: Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching","created":"2026-04-10","cited_by_count":1,"area":null},{"id":"2604.17340","title":"Neuro-Symbolic Resolution of Recommendation Conflicts in Multimorbidity Clinical Guidelines","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2604.18328","title":"FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2605.04916","title":"A Foundation Model for Zero-Shot Logical Rule Induction","created":"2026-05-06","cited_by_count":1,"area":null},{"id":"2606.02837","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2608.18820","title":"Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2506.14936","title":"CALM: Contextual Analog Logic with Multimodality","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2508.04427","title":"Decoding the Multimodal Maze: A Systematic Review on the Adoption of Explainability in Multimodal Attention-based Models","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2509.08150","title":"Verbalized Algorithms: Classical Algorithms are All You Need (Mostly)","created":"2025-09-09","cited_by_count":0,"area":null},{"id":"2510.23379","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","created":"2025-10-27","cited_by_count":0,"area":null},{"id":"2511.06073","title":"Stemming Hallucination in Language Models Using a Licensing Oracle","created":"2025-11-08","cited_by_count":0,"area":null},{"id":"2511.08715","title":"Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing","created":"2025-11-11","cited_by_count":0,"area":null},{"id":"2511.15282","title":"Realist and Pluralist Conceptions of Intelligence and Their Implications on AI Research","created":"2025-11-19","cited_by_count":0,"area":null},{"id":"2511.19757","title":"What does it mean to understand language?","created":"2025-11-24","cited_by_count":0,"area":null},{"id":"2601.19605","title":"Decompose-and-Formalise: Recursively Verifiable Natural Language Inference","created":"2026-01-27","cited_by_count":0,"area":null},{"id":"2601.19915","title":"Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2603.22793","title":"Signals Are Not States: Neuro-Symbolic Safeguards for Culturally Aware Classroom AI","created":"2026-03-24","cited_by_count":0,"area":null},{"id":"2607.23386","title":"Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation","created":"2026-07-25","cited_by_count":0,"area":null},{"id":"2608.00396","title":"Verifiable Checks for Business Rule Consistency","created":"2026-08-01","cited_by_count":0,"area":null},{"id":"2608.14771","title":"From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving","created":"2026-08-14","cited_by_count":0,"area":null},{"id":"2609.03366","title":"Accountable AI with Grounded, Faithful, Consistent, Actionable Rationales: A Case Study in Clinical Trial Matching with VERDICT","created":"2026-09-03","cited_by_count":0,"area":null},{"id":"2609.11185","title":"Can LLMs Follow Medical Expert Logic? A Benchmark for Hierarchical Logical Consistency in Risk-of-Bias Assessment","created":"2026-09-10","cited_by_count":0,"area":null},{"id":"2609.13794","title":"SyRHM: Symbolic-Language-Enhanced Reasoning with Associative Retrieval for Zero-shot Harmful Meme Detection","created":"2026-09-12","cited_by_count":0,"area":null},{"id":"2609.13945","title":"SAILOR: Solver-Assisted Interactive LLM-based Optimization Recovery","created":"2026-09-12","cited_by_count":0,"area":null},{"id":"2609.20319","title":"QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2609.29876","title":"Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.32491","title":"Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs","created":"2026-09-26","cited_by_count":0,"area":null},{"id":"2610.00212","title":"EviGraph: Proof-Carrying Selective Recommendation over Temporal Public-Service Knowledge Graphs","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2610.02792","title":"Law And Order: Tax Law Autoformalization","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.14552","title":"LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies","created":"2026-10-10","cited_by_count":0,"area":null},{"id":"2610.15712","title":"TL;QR: Querying Temporal Discursive Patterns in Textual Corpora","created":"2026-10-11","cited_by_count":0,"area":null},{"id":"2610.18745","title":"SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}