Showing 1–18 of 18 results
/ Date/ Name
Sep 18, 2019Voting with Random Classifiers (VORACE): Theoretical and Experimental AnalysisNov 15, 2019Improving Graph Neural Network Representations of Logical Formulae with Subgraph PoolingSep 16, 2019RuDaS: Synthetic Datasets for Rule Learning and Evaluation ToolsAug 18, 2023Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI HilbertSep 3, 2021AI Descartes: Combining Data and Theory for Derivable Scientific DiscoveryNov 29, 2022Bayesian Experimental Design for Symbolic DiscoveryApr 6, 2025Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic VerificationAug 5, 2025Error Detection and Correction for Interpretable Mathematics in Large Language ModelsDec 17, 2018Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentationNov 5, 2019A Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingMar 31, 2024Recover: A Neuro-Symbolic Framework for Failure Detection and RecoveryNov 21, 2019Schemaless Queries over Document Tables with DependenciesApr 24, 2015Logical Conditional Preference TheoriesSep 1, 2025The Need for Verification in AI-Driven Scientific DiscoveryJun 11, 2020Symbolic Regression using Mixed-Integer Nonlinear OptimizationJun 7, 2021Learning to Guide a Saturation-Based Theorem ProverDec 3, 2020Leveraging Abstract Meaning Representation for Knowledge Base Question AnsweringSep 26, 2025Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether