Cite
Notes
Only stored in your browser.
Attribution
IQuest-Coder-V1 Technical Report
arXiv 2026
OProver: A Unified Framework for Agentic Formal Theorem Proving
InCoder-32B: Code Foundation Model for Industrial Scenarios
MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series
arXiv 2024
from 4 papers
Yizhi Li
Bryan Dai
Chenghua Lin
Chuan Hao
Haowen Wang
Jiaheng Liu
Jiajun Wu
Jian Yang
Kaijing Ma
Lin Jing