work SciDef LLM-based pipeline and benchmark for automated definition extraction with DefExtra/DefSim and NLI evaluation. fun DeadLINE vibecoded deadline visualizer to try 5.3-codex