Showing 1–20 of 35 results
/ Date/ Name
Sep 24, 2023Boosting Offline Reinforcement Learning for Autonomous Driving with Hierarchical Latent SkillsSep 28, 2023Uncertainty-Aware Decision Transformer for Stochastic Driving EnvironmentsMar 1, 2024Learning with Logical Constraints but without Shortcut SatisfactionMar 1, 2024Softened Symbol Grounding for Neuro-symbolic SystemsDec 6, 2024Neuro-Symbolic Data Generation for Math ReasoningOct 28, 2024Neuro-symbolic Learning Yielding Logical ConstraintsFeb 19, 2025Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningOct 28, 2024Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyDec 28, 2021A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on GraphsOct 6, 2019Operational Calibration: Debugging Confidence Errors for DNNs in the FieldMar 23, 2021Joint Distribution across Representation Space for Out-of-Distribution DetectionMar 18, 2026Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code VerificationMar 20, 2026Stepwise: Neuro-Symbolic Proof Search for Automated Systems VerificationMar 19, 2026Learning to Disprove: Formal Counterexample Generation with Large Language ModelsApr 23, 2024Insights into the defect-driven heterogeneous structural evolution of Ni-rich layered cathode in lithium-ion batteriesOct 17, 2025A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM ReasoningNov 21, 2023Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive SurveyJun 6, 2019Boosting Operational DNN Testing Efficiency through ConditioningApr 15, 2024A Survey on Deep Learning for Theorem ProvingOct 23, 2025Video-As-Prompt: Unified Semantic Control for Video Generation