Skip to content
conftrace_

symbolic expression

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

tree lstm (2) neural network (2) symbolic reasoning (2) reinforcement learning (2) logical decomposition (1) search router (1) abstract syntax tree (1) gradient-based learning (1) interpretable policy (1) neural network policy (1)

Papers

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions NAACL 2025 Efficient Symbolic Policy Learning with Differentiable Symbolic Expression NeurIPS 2023 Symbolic Distillation for Learned TCP Congestion Control NeurIPS 2022 Disambiguating Symbolic Expressions in Informal Documents ICLR 2021 Compositional Generalization by Learning Analytical Expressions NeurIPS 2020 Deep Symbolic Superoptimization Without Human Knowledge ICLR 2020 LGML: Logic Guided Machine Learning (Student Abstract) AAAI 2020 Combining Symbolic Expressions and Black-box Function Evaluations in Neural Programs ICLR 2018 Learning to Discover Efficient Mathematical Identities NeurIPS 2014