Efficient 2D Cutting Stock Problem Solving with SAT MaxSAT
Discover advanced SAT and MaxSAT methods to solve the 2D cutting stock problem, minimizing waste and optimizing sheet usage efficiently.
OSCAR: Reducing Hallucinations in Diffusion Language Models
Discover OSCAR, a training-free framework using cross-chain entropy to reduce hallucinations and improve accuracy in diffusion language models.
AI Medication Systems: Risks and Reliability Issues
Explore the risks and reliability challenges of AI-assisted medication systems and the need for better evaluation to ensure patient safety.
Evaluating AI Language Models for Harmful Manipulation
Discover how AI language models can manipulate behavior across domains and regions, and why context-specific evaluation is crucial for ethical AI use.
Chain-of-Authorization: Embedding Access Control in LLMs
Discover how Chain-of-Authorization embeds authorization into large language models to enhance AI security and prevent unauthorized access.