m-a-p/MSQA
Updated β’ 132 β’ 1
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
OProver: A Unified Framework for Agentic Formal Theorem Proving
A Self-Evolving Framework for Efficient Terminal Agents via Observational Context Compression
Add model card README
#1 opened about 3 hours ago
by 
dma2077
lxppΒ
updated a
dataset 6 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 6 days ago
a43992899Β
updated a
dataset 19 days ago
JuntingZhouΒ
published a
dataset 20 days ago
zhangyskΒ
published a
dataset 20 days ago
lxppΒ
published a
dataset 21 days ago
gowitheflowΒ
authored a
paper 25 days ago
Liam-LiuΒ
authored a
paper 27 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 27 days ago
zwprideΒ
authored a
paper about 1 month ago
aaabiaoΒ
authored 8
papers about 1 month ago
Aligning Instruction Tuning with Pre-training
Paper β’ 2501.09368 β’ Published
YuE: Scaling Open Foundation Models for Long-Form Music Generation
Paper β’ 2503.08638 β’ Published β’ 73
IWR-Bench: Can LVLMs reconstruct interactive webpage from a user interaction video?
Paper β’ 2509.24709 β’ Published β’ 7
Beyond Correctness: Evaluating Subjective Writing Preferences Across Cultures
Paper β’ 2510.14616 β’ Published β’ 13
COIG-Writer: A High-Quality Dataset for Chinese Creative Writing with Thought Processes
Paper β’ 2510.14763 β’ Published β’ 14
Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space
Paper β’ 2512.24617 β’ Published β’ 67
Search More, Think Less: Rethinking Long-Horizon Agentic Search for Efficiency and Generalization
Paper β’ 2602.22675 β’ Published β’ 23
LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling
Paper β’ 2606.18023 β’ Published β’ 210
wanngΒ
authored a
paper about 1 month ago