Tobias J. Osborne
@tobiasosborneLanguage Breakdown
Lines of code distribution across 56 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Mathematical Programming System
Collaboration Network
Global Impact visualization
Repos
60
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
Rigorous Proofs via Adversarial AI Agents
This is a project aimed at constructing gauge-invariant tensor networks for lattice gauge theory with a view to obtaining a continuous ground-state ansatz for pure Yang-Mills theory.
This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.
Pure Julia OpenVDB parser for scientific visualization. Read sparse volumetric data (clouds, smoke, simulations) with immutable data structures, trilinear sampling, and ray traversal. Designed for path tracers and volume renderers.
Paper on continous limits of quantum lattice systems
This is a project aimed at answering the question: "what is a quantum field state?"
Testing the af (Adversarial Proof Framework) on the 10 research-level math problems from the First Proof paper (Abouzaid, Blumberg, Hairer, Kileel, Kolda, Nelson, Spielman, Srivastava, Ward, Weinberger, Williams). 6 of 10 problems investigated; structured proof trees with recorded dead ends, counterexamples, and partial progress.
Agent-first CLI tools, UX patterns for LLM agents to prove mathematical results
From-scratch GPT in pure Julia. Every gradient by hand. No AD, no GPU, no magic.
Open Source Impact
Contributions to external projects
No external contributions found.