Picture for Max Tegmark

Max Tegmark

DafnyBench: A Benchmark for Formal Software Verification

Add code
Jun 12, 2024
Viaarxiv icon

Survival of the Fittest Representation: A Case Study with Modular Addition

Add code
May 27, 2024
Viaarxiv icon

Not All Language Model Features Are Linear

Add code
May 23, 2024
Viaarxiv icon

How Do Transformers "Do" Physics? Investigating the Simple Harmonic Oscillator

May 23, 2024
Viaarxiv icon

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

May 10, 2024
Viaarxiv icon

OptPDE: Discovering Novel Integrable Systems via AI-Human Collaboration

May 07, 2024
Viaarxiv icon

KAN: Kolmogorov-Arnold Networks

Add code
May 02, 2024
Figure 1 for KAN: Kolmogorov-Arnold Networks
Figure 2 for KAN: Kolmogorov-Arnold Networks
Figure 3 for KAN: Kolmogorov-Arnold Networks
Figure 4 for KAN: Kolmogorov-Arnold Networks
Viaarxiv icon

GenEFT: Understanding Statics and Dynamics of Model Generalization via Effective Theory

Feb 08, 2024
Viaarxiv icon

Opening the AI black box: program synthesis via mechanistic interpretability

Add code
Feb 07, 2024
Viaarxiv icon

A Resource Model For Neural Scaling Law

Feb 07, 2024
Viaarxiv icon