Will Adkisson

Identifiers

• name variant Will Adkisson 0.60 · backfill

Papers (1)

1. TorchLean: Formalizing Neural Networks in Lean cs.MS · 2026 · author #3

Mentions

• 2602.22631 #3 · arxiv_oai · confidence 0.70 Will Adkisson

Frequent Coauthors

• Anima Anandkumar 1 shared papers
• Huan Zhang 1 shared papers
• Jennifer Cruden 1 shared papers
• Robert Joseph George 1 shared papers
• Xiangru Zhong 1 shared papers