Dennis Koshta

I’m a software engineer at Bronco AI in San Francisco. I work on AI systems and tools, and make games, simulations, and websites on the side.

I’m interested in how AI can help us learn, discover, and build. This site is a collection of things I’ve been working on.

Selected work

Research paper · AI Safety
Uncensored Is Not Unrestrained: Restraint and Its Failure Modes in Abliterated Agents
In Qwen3.8-27B, removing refusal usually preserves restraint. Tests expose failures under brief reasoning and abstract stakes tables, and transfer through safe demonstrations.
PDF Code
Formal Methods · Mathematics
Busy Beaver Challenge
AI-assisted work on the Busy Beaver Challenge: proving whether small Turing machines halt or run forever.
Research dashboard Merged contributions
Learning · Language Models
Cognanimus
An adaptive learning platform with lessons, practice, feedback, and progress tracking.
Website

Literature review · CSE 185
Adversarial attacks in AI and Machine Learning
A review of adversarial examples, LLM jailbreaks, and attacks on image generators, alongside proposed defenses. Written for Technical Writing for Computer Science at UC Santa Cruz.
Read PDF · 8 pages
Proof project · MATH 100
Equivalents of the Axiom of Choice
A course project exploring the axiom of choice and its connections to well-ordering, maximality principles, vector-space bases, and compactness.
Read PDF · 18 pages

Games, music tools, and small simulations developed with GPT and Claude. I set the direction, test the software, and refine the results.

Audio · Creative tools
Signal Garden
A music composition tool where an editable landscape controls the score.
Simulation · Physics
Event Horizon
An orbital flight game about black holes, time dilation, and delayed signals.
Graphics · Procedural generation
Impossible Rooms
A first-person exploration game with folded corridors, nested rooms, and impossible geometry.

Choose a scene and press Play, or try Create random scene.

Start the demo here, then choose a scene or create a random one.

AI & ML · Evaluation
rag-eval-kit
A Python package for comparing RAG pipelines on answer quality, retrieval, latency, and cost.
Products & tools · Verification
TransferBatch
A Shopify-connected tool that arranges transfer-print orders onto production sheets.
Products & tools · Verification
SheetMason
A desktop tool for naming drawing sheets and splitting large PDF sets.