Sean Lamont

Intermediate
@sean-lamont
sean-lamont.github.io/

bait. Official repository for the AAAI 2024 paper BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving.

5

odd. Codebase for Orthogonal Diverse Diffusion. We present a lightweight, training free method for improving sampling diversity and Pass@k in Diffusion Language Models.

4

coda-to-end. Software package, with new algorithms for Compositional Data Analysis (CoDA)

2

sean-lamont.github.io. HTML

1

honours. Honours project, focusing on Machine Learning techniques for Compositional Data Analysis (CoDA)

1

configs. Shell

1

3D-Prover. Official repository for the NeurIPS 2025 paper 3D-Prover: Diversity Driven Theorem Proving with Determinantal Point Processes.

1

edit-flows. Python

1
8
Apply