Programming knowledge tracing (programming KT) aims to analyze the dynamic programming states in solving problems based on historical behaviors and predict future performance. In programming, a ...

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation Abstract: The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, ...