Showing 1–20 of 30 results
/ Date/ Name
Mar 26, 2021DAGN: Discourse-Aware Graph Network for Logical ReasoningNov 29, 2023CLOMO: Counterfactual Logical Modification with Large Language ModelsJul 4, 2022Discourse-Aware Graph Networks for Textual Logical ReasoningJun 20, 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem ProvingOct 22, 2022MetaLogic: Logical Reasoning Explanations with Fine-Grained StructureDec 24, 2020REM-Net: Recursive Erasure Memory Network for Commonsense Evidence RefinementFeb 14, 2024MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataOct 16, 2023TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsJan 25, 2024Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive AggregationSep 27, 2025Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained VerifiersAug 19, 2025Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive ExplorationAug 26, 2025Test of Time: Rethinking Temporal Signal of Benchmark ContaminationMar 11, 2026DeReason: A Difficulty-Aware Curriculum Improves Decoupled SFT-then-RL Training for General ReasoningJun 4, 2024Process-Driven Autoformalization in Lean 4May 25, 2025SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics ReasoningOct 6, 2025Aligning Perception, Reasoning, Modeling and Interaction: A Survey on Physical AIJun 2, 2025ORMind: A Cognitive-Inspired End-to-End Reasoning Framework for Operations ResearchJul 13, 2024OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization ModelingDec 26, 2023RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k RecommendationNov 18, 2024AtomThink: Multimodal Slow Thinking with Atomic Step Reasoning