2 papers
cs.LG2026
Zhinv: Real-time hub-height wind field reconstruction using only local sparse observations
Zongwei Zhang, Chin Chun Ooi, Lianlei Lin +8
The high proportion of wind power connected to the grid places higher demands on fine-grained knowledge of regional wind fields. Since the wind information directly obtainable in a…
cs.LO2026
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…