Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics.

Todd Waugh Ambridge

Published in: CoRR (2024)

Keyphrases

search algorithm
search space
search efficiency
search tools
search methods
support vector regression
genetic algorithm
support vector
computer science
real world
search strategy
query formulation
regression model
exact match
brute force
search queries
real life
machine learning
data mining