Tag: oracle-generation Tratto: Neuro-Symbolic Oracle Generation by Elliott Zackrone (24 June 2024) Archive keyword: accessibility keyword: automated-testing keyword: code-formatting keyword: compiler keyword: coq keyword: design keyword: differential-equation keyword: dragon-curves keyword: fabrication keyword: floating-point keyword: induction keyword: knitting keyword: l-systems keyword: oracle-generation keyword: outreach keyword: polynomial keyword: pretty-printing keyword: rocq keyword: security keyword: side-channels keyword: space keyword: synthesis keyword: testing keyword: time keyword: undergraduate-pl keyword: weaving keyword: website keyword: compilers keyword: computer-algebra keyword: education keyword: equality-saturation keyword: pluggable-types keyword: program-optimization keyword: proof-assistant keyword: type-checking keyword: type-inference keyword: verification keyword: verilog keyword: hardware