rkthomps

Pinned Repositories

ai-proof-tutor
An AI tutor for CSE 21 at UCSD
Language:Python00
ai-tutor-lean-proofs
Formal Proofs of Theorems from CSE-20/21 in Lean
Language:Lean00
boat4qgis
Minimalist plugin skeleton
Language:Python0 0 00
Chess
Fooling around with web app for chess
Language:Python0 1 00
CNN
Implementation of a convolutional neural network in java.
Language:HTML0 1 00
coq-modeling
Language models for Coq based on data collected from the coq lsp.
Language:Jupyter Notebook6 5 00
CoqStoq
Benchmark for evaluating Coq proof search tools.
Language:Python7 2 00
idsattack
Packet modification to fool machine learning based network intrusion detection systems.
Language:Python21
MCTSSnake
Simultaneous and Adversarial Monte Carlo Tree Search for the CoG AI Snakes competition.
Language:Java2 3 01
weekly-lean
The lean weekly challenge!
Language:Lean70

rkthomps's Repositories

rkthomps/CoqStoq
Benchmark for evaluating Coq proof search tools.
Language:Python7 2 00
rkthomps/weekly-lean
The lean weekly challenge!
Language:Lean70
rkthomps/idsattack
Packet modification to fool machine learning based network intrusion detection systems.
Language:Python21
rkthomps/MCTSSnake
Simultaneous and Adversarial Monte Carlo Tree Search for the CoG AI Snakes competition.
Language:Java2 3 01
rkthomps/ai-proof-tutor
An AI tutor for CSE 21 at UCSD
Language:Python00
rkthomps/ai-tutor-lean-proofs
Formal Proofs of Theorems from CSE-20/21 in Lean
Language:Lean00
rkthomps/boat4qgis
Minimalist plugin skeleton
Language:Python0 0 00
rkthomps/Chess
Fooling around with web app for chess
Language:Python0 1 00
rkthomps/CNN
Implementation of a convolutional neural network in java.
Language:HTML0 1 00
rkthomps/coqpyt
Python client for coq-lsp
Language:Python00
rkthomps/graphsage-route
Implementation of a reinforcement learning agent that minimizes the delay of routing over a realistic AS-level topology.
Language:Python0 1 00
rkthomps/high_school_demo
This repository contains presentation materials for the high school visit.
0 1 00
rkthomps/rkthomps.github.io
Public personal website.
Language:HTML0 1 00
rkthomps/TBot
Python trading bot
Language:Jupyter Notebook0 1 00
rkthomps/Whisper
Realtime Robust Malicious Traffic Detection via Frequency Domain Analysis
Language:C++0 0 00
rkthomps/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++
rkthomps/nl-coq
A Visual Studio Code extension for Coq with added support for AI based proof search.
rkthomps/ProCon
Probe but with context and continuous costs.
Language:Slash
rkthomps/smt
Fun little side project to learn rust
Language:Rust
rkthomps/theorem-proving-llms
Comparison of LLMs on Coq Proofs after a given cutoff date.
rkthomps/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant