Liam Davis

AI, Formal Methods, and everything in between | Math & CS @ Amherst College

[Liam Davis @liamjdavis146]

Small recurrent transformers like TRM and HRM have shown great promise. We introduce the Lattice Deduction Transformer, a recurrent transformer grounded in abstract interpretation. Using symbolic lattice structures, the model learns to approximate sound logical deduction.

[Alberto Alfarano @albe_alfa]

Introducing Lattice Deduction Transformers: An 800k-parameter looped transformer that reasons like a SAT solver achieves 100% on Sudoku-Extreme with only 15 minutes of training.

A collaboration between @axiommathai, @AmherstCollege and @BarnardCollege.

[Liam Davis @liamjdavis146]

@miniapeur Maybe it would been wise to release results in batches, rather than 722 all at once.

[Anthony Leverrier @letonyo]

plot twist: OpenAI retracts the result on the Hodge conjecture.

[Liam Davis @liamjdavis146]

https://t.co/6hSJGaMsUx

[Liam Davis @liamjdavis146]

A little less than 24 hours after OpenAI's release of 722 new results, most of which I do not have the background to understand, I am still in utter shock. For now, I'm trying to make sense of the variance of random k-SAT hitting time result.

[Liam Davis @liamjdavis146]

@yuejiec There will never be a GitHub quota, so we think ...

[Liam Davis @liamjdavis146]

Here's a sneak peek of some in progress work on the Lattice Deduction Transformer. Below is the solve replay of ARC 1 task 405, where the model is executing DPLL-style search with learned deduction and conflict detection.

[Tactical Manager @ManagerTactical]

Cavan Sullivan becomes the youngest goal scorer in USMNT 🇺🇸 history… and what a goal vs 🇲🇽

The kid is cold 🥶

[arXiv.org @arxiv]

arXiv has updated our policy on rate limiting for all submitters.

This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors.

Please read our announcement to learn more: https://t.co/lvzWuiv0hx

[Liam Davis @liamjdavis146]

@arbdwj My course project I put on arxiv got cited by 2 ICML papers, I now never underestimate the ability of LLMs to find arxiv papers that are otherwise unknown.

[Liam Davis @liamjdavis146]

@dandan99757558 @albe_alfa @NeurIPSConf @biosemiote @MarkSantolucito Opus 5.5

[Liam Davis @liamjdavis146]

Excited to be attending @NeurIPSConf this year to present the Lattice Deduction Transformer. More details to come!

[Alberto Alfarano @albe_alfa]

Lattice Deduction Transformers has been accepted at @NeurIPSConf! 🎉
We're excited to present this work and grateful to everyone who has engaged with it so far.
Here's a glimpse of LDT in action and how it works. We’re also preparing an improved revision of the paper, more soon!

[Liam Davis @liamjdavis146]

@jueun_kim_ Congrats!

[The Darkest Matter @Dr_Dark_Matter_]

arXiv has a higher standard than many, if not most, of the journals and conferences today...

[Liam Davis @liamjdavis146]

@dongmin_park11 Congrats!

[Liam Davis @liamjdavis146]

@shuhaibmehri Congrats!

[Liam Davis @liamjdavis146]

@silver__tsuki

[Liam Davis @liamjdavis146]

@chandavidlee @wognsfjq96 @mananag_007 @sheelfshah @jrrhuang @AdtRaghunathan @hongseu33 @nmboffi @jw9730 Congrats!

[Liam Davis @liamjdavis146]

@JunyeobB Congrats!

[Liam Davis @liamjdavis146]

@mdredze The ICLR reviewers and organizers are the real winners of today.

[Liam Davis @liamjdavis146]

@ergo_edge @SureshRaghu07 Congrats!