Automated Reasoning

Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026 Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 PhyVer: Physics-Grounded Material Claim Verification with Multi-Fidelity Physical Evidence ACL 2026 Representing Lean Proofs as Trajectories in Latent Space ACL 2026 SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization ACL 2026 TEN: Table Explicitization, Neurosymbolically ACL 2026 TUCNLP at SemEval-2026 Task 11: Neuro-Symbolic Content Stripping for Debiased Syllogistic Reasoning SemEval 2026 UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning SemEval 2026 Uncertainty-Aware Test-Time Search for Optimization Problem Solving ACL 2026 YNJTC at SemEval-2026 Task 11: A Neuro-Symbolic Hybrid Pipeline for Content-Independent Syllogistic Reasoning SemEval 2026 DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL ICLR 2025 From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy ICLR 2025 Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning ICLR 2025 Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems L4DC 2025 Neuro-Symbolic Deadlock Resolution in Multi-Robot Systems L4DC 2025 Offline RL in Regular Decision Processes: Sample Efficiency via Language Metrics ICLR 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances L4DC 2025 The Ramanujan Library - Automated Discovery on the Hypergraph of Integer Relations ICLR 2025 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 Causal Discovery with Deductive Reasoning: One Less Problem UAI 2024 Conversational Modeling for Constraint Satisfaction AAAI 2024 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization UAI 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 REFACTOR: Learning to Extract Theorems from Proofs ICLR 2024