22:52[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...ACM SIGPLAN162 viewsView & Download
16:57[POPL'23] Hefty Algebras: Modular Elaboration of Higher-Order Algebraic EffectsACM SIGPLAN337 viewsView & Download
18:42[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)ACM SIGPLAN113 viewsView & Download
18:26[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...ACM SIGPLAN155 viewsView & Download
15:45[PEPM'24] An Intrinsically Typed Compiler for Algebraic Effect HandlersACM SIGPLAN120 viewsView & Download
34:25Small Language Model Alignment - Finetune SLMs to ALWAYS pick the best answer (Unsloth DPO)Neural Breakdown with AVB3.0K viewsView & Download
7:59Researcher: 2.1: Hypothesis Generation and Refinement with AISkill:RE - Enabling Enterprise AI1 viewsView & Download
20:21[POPL'24] Implementation and Synthesis of Math Library FunctionsACM SIGPLAN315 viewsView & Download
1:19:48Lecture 14 - EM Algorithm & Factor Analysis | Stanford CS229: Machine Learning Andrew Ng -Autumn2018Stanford Online94.4K viewsView & Download