Apodex 1.1: Scaling Agentic Intelligence for Complex Work Paper • 2608.23283 • Published Aug 24 • 211
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases Paper • 2607.13292 • Published Jul 14
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain Paper • 2310.14053 • Published Oct 21, 2023