m-a-p/MSQA
Updated β’ 120 β’ 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
lxppΒ
updated a
dataset 2 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 3 days ago
a43992899Β
updated a
dataset 15 days ago
JuntingZhouΒ
published a
dataset 17 days ago
zhangyskΒ
published a
dataset 17 days ago
lxppΒ
published a
dataset 18 days ago
gowitheflowΒ
authored a
paper 22 days ago
Liam-LiuΒ
authored a
paper 23 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 24 days ago
zwprideΒ
authored a
paper 28 days ago
aaabiaoΒ
authored 8
papers 29 days 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 β’ 209
wanngΒ
authored 2
papers about 1 month ago