cs.IR 2403.13310

A Semantic Search Engine for Mathlib4

Semantic search engine for mathlib4 using large language models and vector similarity, achieving 50%+ improvement over baselines.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang et al.

2024-03-20 45
cs.CL 2403.12958

Dated Data: Tracing Knowledge Cutoffs in Large Language Models

Introduces the concept of 'effective cutoff' by probing perplexity across data versions, revealing discrepancies between reported and actual knowledge cutoffs in LLMs.

Jeffrey Cheng, Marc Marone, Orion Weller et al.

2024-03-20 74 citations 38