Thomas Kwa (tkwa)

tkwa

Geek Repo

Location:California

Github PK Tool:Github PK Tool

Thomas Kwa's repositories

Sledgehammer

A code-golf language written in Mathematica

Language:MathematicaLicense:GPL-3.0Stargazers:21Issues:3Issues:0

CoqLegion

A partial formalization of the Legion type system in Coq

Language:CoqStargazers:1Issues:2Issues:0

othello-gpt-ideas

Submission to Neel Nanda's 2022 SERI MATS stream.

Language:Jupyter NotebookStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

algebraic_value_editing

Experiments testing the algebraic value-editing conjecture (AVEC) on GPT-2 models

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

catastrophic-goodhart

Plots and empirical results for Catastrophic Goodhart https://www.lesswrong.com/s/6rhjdbnEXoek4YiH7

Language:PythonStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:2Issues:0

exist-mood-import

Import scripts for existing mood tracking app data

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:RubyStargazers:0Issues:0Issues:0

legion

The Legion Parallel Programming System

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

iit

A replication and extension of the paper "Inducing Causal Structure for Interpretable Neural Networks" by Atticus Geiger

Language:PythonStargazers:0Issues:0Issues:0

katago_retarget

Retarget KataGo to output the worst move by flipping activations.

Language:PythonStargazers:0Issues:0Issues:0

nonsurrounding-polyomino

Finding a polyomino that cannot surround a 1x1 square, using the ORTools SAT solver.

Language:PythonStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0

ShortcutBadger

An Android library supports badge notification like iOS in Samsung, LG, Sony and HTC launchers.

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

turntrout-plots

Data files from Alex Turner's experiments and posts

Language:Jupyter NotebookStargazers:0Issues:0Issues:0