nrfulton
Applied Scientist at AWS AI Labs. Formerly MIT-IBM, @LS-Lab atCarnegie Mellon University. {Theorem Proving, FM, PL} x {RL,ML}
AWS AI LabsBoston && NYC
Pinned Repositories
FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
ace
The Ace programming language.
bicycle_accidents
Bicycle accidents in Allegheny County, 2004 - 2017
jsc
kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
pittdoggos
Python script for Allegheny County Dog Registration Data
scuba-release
Formal verification of a SCUBA ascent protocol.
nrfulton's Repositories
nrfulton/pittdoggos
Python script for Allegheny County Dog Registration Data
nrfulton/kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
nrfulton/bicycle_accidents
Bicycle accidents in Allegheny County, 2004 - 2017
nrfulton/jsc
nrfulton/scuba-release
Formal verification of a SCUBA ascent protocol.
nrfulton/vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
nrfulton/ai-card-cutting
Automate debate evidence production with GPT-3.
nrfulton/AirSim
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
nrfulton/bee-agent-framework
nrfulton/blog
Some notes on things I find interesting and important.
nrfulton/climbing-data
Open license climbing data
nrfulton/clustering.pl
A Perl framework for implementing, visualizing, and evaluating clustering algorithms.
nrfulton/CMUTournament
nrfulton/debate_utils
Nathan's debate utils.
nrfulton/f.lux-indicator-applet
Better lightning for Ubuntu
nrfulton/hackygallery
A very hacky HTML image gallery generator
nrfulton/hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
nrfulton/ISRBeamer
Unofficial beamer poster style for the Institute for Software Research
nrfulton/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
nrfulton/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
nrfulton/Mass-RMV-Selenium-Script
nrfulton/nrfulton
Config files for my GitHub profile.
nrfulton/OldSchoolLAMP
Dockerfile for an old-school LAMP stack (PHP 5.6, MySQL 5.7.31)
nrfulton/PredatorPrey
predatorPrey
nrfulton/SpaceEx2KeYmaeraX
Very limited SpaceEx -> KeYmaera X converter
nrfulton/stoktreport
The stokt report.
nrfulton/tree-sitter-scala
Scala grammar for tree-sitter
nrfulton/ttvoice
Pulls TrueTime info from Port Authority's web app and produces text that can be spoken.
nrfulton/ultimate-utils
Brando's utils
nrfulton/VerbatimParser
Attempts to extract structured documents from debate files using the Verbatim template.