arXiv Computer Science @arxiv_cs@qoto.org

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis https://arxiv.org/abs/2410.19736 #cs.SE #cs.LG #cs.LO

High-Precision Real-Time Pores Detection in LPBF using Thermal Energy Density (TED) Signals https://arxiv.org/abs/2410.19737 #cs.CE

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) https://arxiv.org/abs/2410.19738 #cs.AI #cs.LO #cs.PL

AppBench: Planning of Multiple APIs from Various APPs for Complex User Instruction https://arxiv.org/abs/2410.19743 #cs.SE #cs.AI

Towards Next-Generation LLM-based Recommender Systems: A Survey and Beyond https://arxiv.org/abs/2410.19744 #cs.IR #cs.AI

Adaptive Real-Time Multi-Loss Function Optimization Using Dynamic Memory Fusion Framework: A Case Study on Breast Cancer Segmentation https://arxiv.org/abs/2410.19745 #cs.CV #cs.LG

C^2DA: Contrastive and Context-aware Domain Adaptive Semantic Segmentation https://arxiv.org/abs/2410.19748 #cs.CV #cs.AI

Using AI Alignment Theory to understand the potential pitfalls of regulatory frameworks https://arxiv.org/abs/2410.19749 #cs.CY #cs.AI

Interval-valued q-rung orthopair fuzzy Weber operator and its group decision-making application https://arxiv.org/abs/2410.19752 #cs.CY

A Comparative Analysis on Ethical Benchmarking in Large Language Models https://arxiv.org/abs/2410.19753 #cs.CY #cs.AI #cs.CL

O1 Replication Journey: A Strategic Progress Report -- Part 1 https://arxiv.org/abs/2410.18982 #cs.AI #cs.CL

Smart Navigation System for Parking Assignment at Large Events: Incorporating Heterogeneous Driver Characteristics https://arxiv.org/abs/2410.18983 #cs.HC

Very High-Resolution Bridge Deformation Monitoring Using UAV-based Photogrammetry https://arxiv.org/abs/2410.18984 #eess.IV #cs.CV

VehicleSDF: A 3D generative model for constrained engineering design via surrogate modeling https://arxiv.org/abs/2410.18986 #cs.CV #cs.LG

Generative Topology for Shape Synthesis https://arxiv.org/abs/2410.18987 #cs.CV #cs.LG

Anti-patterns in Students' Conditional Statements https://arxiv.org/abs/2410.18989 #cs.CY #cs.SE

TRIAGE: Ethical Benchmarking of AI Models Through Mass Casualty Simulations https://arxiv.org/abs/2410.18991 #cs.CY #cs.AI

Enhancing Management of Large-Scale Optical Networks through RFID Technology Integration https://arxiv.org/abs/2410.18995 #cs.NI

On generating $k$-factorable graphic sequences with connected (resp.no connected) $k$-factors https://arxiv.org/abs/2410.18999 #math.CO #cs.DS

Make LLMs better zero-shot reasoners: Structure-orientated autonomous reasoning https://arxiv.org/abs/2410.19000 #cs.LG