Showing 2024Show all
2 papers · 1 filter
cs.LG2024
Concept Boundary Vectors
Thomas Walker
Machine learning models are trained with relatively simple objectives, such as next token prediction. However, on deployment, they appear to capture a more fundamental representati…
cs.LG2024
Tightening the Evaluation of PAC Bounds Using Formal Verification Results
Thomas Walker, Alessio Lomuscio
Probably Approximately Correct (PAC) bounds are widely used to derive probabilistic guarantees for the generalisation of machine learning models. They highlight the components of t…