WebCompass: Towards Multimodal Web Coding Evaluation for Code Language Models
Paper β’ 2604.18224 β’ Published β’ 22
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
Liam-LiuΒ
authored a
paper about 19 hours ago
daltonlovegood0812Β
authored 3
papers 11 days ago
Scaling Latent Reasoning via Looped Language Models
Paper β’ 2510.25741 β’ Published β’ 231
NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents
Paper β’ 2512.12730 β’ Published β’ 52
OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper β’ 2605.17283 β’ Published β’ 30
dma2077Β
updated a
dataset 11 days ago
dma2077Β
updated 7
models 11 days ago
m-a-p/OProver-8B
8B β’ Updated β’ 511
m-a-p/OProver-8B-Round2
Text Generation β’ 8B β’ Updated β’ 51
m-a-p/OProver-8B-Round1
Text Generation β’ 8B β’ Updated β’ 46
m-a-p/OProver-32B-Base
Text Generation β’ 33B β’ Updated β’ 90
m-a-p/OProver-8B-Base
Text Generation β’ 8B β’ Updated β’ 41 β’ 1
m-a-p/OProver-32B-Round1
Text Generation β’ 33B β’ Updated β’ 53
m-a-p/OProver-32B
Text Generation β’ 33B β’ Updated β’ 405
zhangyskΒ
updated a
collection 11 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 11 days ago
dma2077Β
updated a
collection 11 days ago
dma2077Β
published a
dataset 11 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 12 days ago
dma2077Β
updated a
collection 15 days ago