ENTITY
Nanyun Peng
Nanyun Peng
PulseAugur coverage of Nanyun Peng — every cluster mentioning Nanyun Peng across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Apple's Ctrl-R framework enhances LLM reasoning with structured trajectory control
Apple's Machine Learning Research team has developed a new framework called Ctrl-R to enhance the reasoning capabilities of large language models. This framework uses reinforcement learning to guide the models in explor…
-
Mathlib network analysis reveals disconnect between human organization and mathematical dependencies
A new paper analyzes Mathlib, the largest formalized mathematics library in Lean 4, by treating it as a network. Researchers found that the library's organizational structure, based on folders and naming conventions, do…