| A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation | Feb 25, 2025 | Automated Theorem ProvingLanguage Modeling | —Unverified | 0 |
| AfroXLMR-Comet: Multilingual Knowledge Distillation with Attention Matching for Low-Resource languages | Feb 25, 2025 | Knowledge DistillationLanguage Modeling | —Unverified | 0 |
| Can LLMs Explain Themselves Counterfactually? | Feb 25, 2025 | counterfactualCounterfactual Reasoning | —Unverified | 0 |
| Independent Mobility GPT (IDM-GPT): A Self-Supervised Multi-Agent Large Language Model Framework for Customized Traffic Mobility Analysis Using Machine Learning Models | Feb 25, 2025 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Iterative Counterfactual Data Augmentation | Feb 25, 2025 | counterfactualData Augmentation | CodeCode Available | 0 |
| Broadening Discovery through Structural Models: Multimodal Combination of Local and Structural Properties for Predicting Chemical Features | Feb 25, 2025 | Language ModelingLanguage Modelling | —Unverified | 0 |
| VALUE: Value-Aware Large Language Model for Query Rewriting via Weighted Trie in Sponsored Search | Feb 25, 2025 | AttributeLanguage Modeling | —Unverified | 0 |
| Your Language Model May Think Too Rigidly: Achieving Reasoning Consistency with Symmetry-Enhanced Training | Feb 25, 2025 | Arithmetic ReasoningData Augmentation | —Unverified | 0 |
| PyEvalAI: AI-assisted evaluation of Jupyter Notebooks for immediate personalized feedback | Feb 25, 2025 | Language ModelingLanguage Modelling | —Unverified | 0 |
| TextGames: Learning to Self-Play Text-Based Puzzle Games via Language Model Reasoning | Feb 25, 2025 | Instruction FollowingLanguage Modeling | CodeCode Available | 0 |
