Scaling Latent Reasoning via Looped Language Models
Paper β’ 2510.25741 β’ Published β’ 230
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
daltonlovegood0812Β
authored 3
papers 8 days ago
dma2077Β
updated a
dataset 8 days ago
dma2077Β
updated 7
models 8 days ago
m-a-p/OProver-8B
8B β’ Updated β’ 426
m-a-p/OProver-8B-Round2
Text Generation β’ 8B β’ Updated β’ 47
m-a-p/OProver-8B-Round1
Text Generation β’ 8B β’ Updated β’ 44
m-a-p/OProver-32B-Base
Text Generation β’ 33B β’ Updated β’ 67
m-a-p/OProver-8B-Base
Text Generation β’ 8B β’ Updated β’ 39
m-a-p/OProver-32B-Round1
Text Generation β’ 33B β’ Updated β’ 47
m-a-p/OProver-32B
Text Generation β’ 33B β’ Updated β’ 355
zhangyskΒ
updated a
collection 8 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 8 days ago
dma2077Β
updated a
collection 9 days ago
dma2077Β
published a
dataset 9 days ago
CheeryLJHΒ
submitted a
paper to Daily Papers 9 days ago
dma2077Β
updated a
collection 12 days ago