ENTITY Jialiang Sun

Jialiang Sun

PulseAugur coverage of Jialiang Sun — every cluster mentioning Jialiang Sun across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_65645 · Jun 2 · 04:00

New framework ECP formally solves math answer-construction problems

Researchers have developed a new neuro-symbolic framework called Enumerate-Conjecture-Prove (ECP) designed to tackle answer-construction problems in formal mathematics. This framework combines general large language mod…