What (and Why) do we care about on LLM-based test generation What (and why) do we care about on LLM-based test generationTL;DR: AI-based testing should target the bugs traditional testing cannot find — not the ones it already catches, more cheaply. For years I 2026-07-16 research LLM software testing test generation fuzzing program analysis
The Reasoning Gap The Reasoning Gap Take a function called map. Ask a frontier LLM to infer its type. It nails it — 90% accuracy. Drop the name. Call it f3. The reasoning collapses. Change the symbols. Rename the types 2026-02-24 Research math philosophy LLM research type theory
Resilient Vote ResVote: A Scalable and Secure Online Voting System Built on ResilientDB Our Motivation Traditional voting systems, such as in-person voting and mail-in ballots, are often slow, prone to errors, and 2024-12-08 Science Computer Science Distributed Systems Database Security ResilientDB
Be Careful Using Python Iterator Be Careful Using Python IteratorIn a recent experiment, I encountered a bug where all the results were shown as negative. After debugging, I found that the bug was caused by using the same iterator tw 2023-08-20 Science programming functional computer science python
Clang Global Constructors Global Constructors Generated by ClangBackgroundIn ReportFunctionExecutedPass, we are trying to build a customized C/C++ compiler for our research project to gather IO pairs of functions when fuzzing. 2023-08-07 Science compilers computer science LLVM clang frontend
Category Theory as Mathematical Foundation What are some objections to taking category theory as a mathematical foundation?Category theory (CT) is a two sorted system of objects and arrows such that the axioms are satisfied. To take something 2023-03-06 Philosophy math philosophy
Mathematical Structuralism The difference between in re and ante rem mathematical structuralism.Priority of Structure to ObjectMathematical structuralism is a view that takes structural as first-class citizens in philosophy. Ma 2023-02-26 Philosophy math philosophy
Workout Plan 2023 03 Workout Plan6 week, deadlift 345lb -> 365lb This plan is generated by ChatGPT. I’ll try it and see if ChatGPT’s plan actually works. Week 1-2:Day 1: Warm up with dynamic stretches. 3 sets of 5 rep 2023-02-26 Random
Mathematical Realism What is mathematical realism and what problems does it face?Mathematical realism is a philosophy view that believes mathematical objects, such as numbers, sets, functions, groups, rings exists indepe 2023-02-19 Philosophy math philosophy
Dedekind's Structuralist View of Natural Numbers Connect Dedekind’s structuralist view of natural numbers to the Hilbert and Bernays quotes Hilbert: We think of … points, straight lines, and plans as having certain mutual relations, which we indicat 2023-02-14 Philosophy math philosophy