kaifronsdal

Pinned Repositories

cs325b-wildfire
Github Repository for all code associated with the CS325B 2023 Wildfire group
Language:Jupyter Notebook2 2 00
Advanced_Animation
Language:JavaScript00
autoformalization
0 1 00
CallWallv2
Language:Kotlin00
CAS-for-TI84Plus-CE
Creating a computer algebra system for the TI84Plus-CE varient. First creating CAS in JS to to test, then rewriting for calculator.
Language:JavaScript00
dryaml
Language:Python00
kaifronsdal.github.io
Language:CSS0 1 00
Proper-Conditioning-For-Time-Series-Forecasting
Language:Jupyter Notebook0 1 00
Reservoir-Computing
Language:Python10
inspect_ai
Inspect: A framework for large language model evaluations
Language:Python632 9 228120

kaifronsdal's Repositories

kaifronsdal/Reservoir-Computing
Language:Python10
kaifronsdal/Advanced_Animation
Language:JavaScript00
kaifronsdal/autoformalization
0 1 00
kaifronsdal/CallWallv2
Language:Kotlin00
kaifronsdal/CAS-for-TI84Plus-CE
Creating a computer algebra system for the TI84Plus-CE varient. First creating CAS in JS to to test, then rewriting for calculator.
Language:JavaScript00
kaifronsdal/Crux
Language:Julia0 1 00
kaifronsdal/dryaml
Language:Python00
kaifronsdal/k-pycoq
python API to coq-serapi
Language:Coq00
kaifronsdal/kaifronsdal.github.io
Language:CSS0 1 00
kaifronsdal/Proper-Conditioning-For-Time-Series-Forecasting
Language:Jupyter Notebook0 1 00
kaifronsdal/cybench
kaifronsdal/EAI4Math
kaifronsdal/evaporate
This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Data Lakes"
Language:Python
kaifronsdal/finetune
Language:Python
kaifronsdal/FrontierHacks
Language:JavaScript
kaifronsdal/ICLTP
In Context Learning For Theorem Proving
Language:Jupyter Notebook1 0
kaifronsdal/inspect_ai
Inspect: A framework for large language model evaluations
Language:Python0 0
kaifronsdal/manifest
Prompt programming with FMs.
Language:Python0 0
kaifronsdal/MatterJS_Class_Demo
Language:JavaScript
kaifronsdal/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Language:Python
kaifronsdal/ReactCameraApp
Language:JavaScript2 0
kaifronsdal/ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python0 0
kaifronsdal/scripts
Assortment of useful scripts
kaifronsdal/Self-Correction
Language:Jupyter Notebook1 0
kaifronsdal/sglang
SGLang is yet another fast serving framework for large language models and vision language models.
Language:Python
kaifronsdal/Swerve-Drive
Language:JavaScript
kaifronsdal/Test
kaifronsdal/TheoremSense
An Empirical Study of Proxy Metrics for Verifying Math Proofs
Language:Jupyter Notebook1
kaifronsdal/Time-Series-Library
A Library for Advanced Deep Time Series Models.
Language:Shell