Training-free Verifiable Process Reward for LLM Reinforcement Finetuning
A training-free process reward system based on formalized theorem proving for LLM reinforcement finetuning.
Reconstruction and Re-evaluation of SFCNN for PLA Scoring
A PyTorch reconstruction and benchmark for protein-ligand binding affinity prediction with SFCNN.
LLM-powered Lecture Generation
An LLM-agent system for generating lectures from PDF materials and supporting long-context question answering.