Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·2d
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·18h
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·2d
Loading...Loading more...