Bili Dong

garden — a public knowledge base within a broader digital system.

Recently ingested library items

• CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution
• Mathematical methods and human thought in the age of AI
• A digestion of the proof of Sendov’s conjecture
• A forest of evergreen notes
• FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution

Recently updated wiki topics

• Survey methodology
• AI for mathematics
• Self-evolving agents
• Research craft
• Symbolic execution

Recently updated surveys

• Agent-Assisted Evidence Synthesis: A Survey
• Exhaustive Enumeration of Selection Observations in Pure Dataflow Graphs: A Survey and Unified Framework
• Symbolic Execution of Digital Hardware Designs: A Systematic Map of Path-Conditioned Design Execution