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

AI Safety · Model Internals
AI Safety Research
What keeps an AI agent from taking a harmful shortcut? Experiments on refusal, reasoning, distillation, and multi-agent oversight.
Paper 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

Research paper · AI Safety
Direct Refusal Is Not Agentic Restraint
A study of refusal-direction ablation in Qwen3.8-27B: how reasoning effort, descriptions of harm, and student distillation affect harmful shortcuts in simulated agent tasks.
Read paper
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.