#semantic-equivalence News & Analysis

2 articles tagged with #semantic-equivalence. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · Jun 237/10

🧠

EquivPruner: Boosting Efficiency and Quality in LLM-Based Search via Action Pruning

Researchers introduce EquivPruner, a method that reduces token consumption in LLM reasoning searches by identifying and pruning semantically equivalent steps. Combined with MathEquiv, a new dataset for mathematical equivalence detection, the approach achieves 48.1% token reduction on GSM8K while maintaining or improving accuracy.

AIBullisharXiv – CS AI · May 287/10

🧠

Functional Entropy: Predicting Functional Correctness in LLM-Generated Code with Uncertainty Quantification

Researchers demonstrate that uncertainty quantification (UQ) methods can effectively detect errors in LLM-generated code by introducing functional equivalence techniques. While token-probability methods transfer well from NLP, sampling-based approaches fail because traditional semantic models cannot distinguish functionally different code. The proposed functional entropy method outperforms existing approaches across most benchmarks.