Jeck Lim

Identifiers

• name variant Jeck Lim 0.60 · backfill

Papers (3)

1. Characterizing initial human-AI proof formalization workflows cs.AI · 2026 · author #5
2. On the largest sum-free subset of the lattice cube math.CO · 2026 · author #2
3. A generalisation of Seymour's second neighbourhood conjecture math.CO · 2020 · author #1

Mentions

• 2001.07242 #1 · arxiv_oai · confidence 0.70 Jeck Lim
• 2605.00816 #2 · arxiv_oai · confidence 0.70 Jeck Lim
• 2606.04273 #5 · arxiv_oai · confidence 0.70 Jeck Lim

Frequent Coauthors

• Adrian Weller 1 shared papers
• Cameron E. Freer 1 shared papers
• Fabian Zaiser 1 shared papers
• Ilia Sucholutsky 1 shared papers
• Jacob Loader 1 shared papers
• Jonas Bayer 1 shared papers
• Jose Hernandez-Orallo 1 shared papers
• Joshua B. Tenenbaum 1 shared papers
• Katherine M. Collins 1 shared papers
• Lexin Zhou 1 shared papers
• Peiyang Song 1 shared papers
• Peter Keevash 1 shared papers
• Sam Looi 1 shared papers
• Shanda Li 1 shared papers
• Simon Frieder 1 shared papers
• Umang Bhatt 1 shared papers
• Valerie Chen 1 shared papers