Skip to content

linUCB - #113

Open
FawadHa1der wants to merge 86 commits into
LeanMachineLearning:mainfrom
FawadHa1der:issue-112
Open

linUCB#113
FawadHa1der wants to merge 86 commits into
LeanMachineLearning:mainfrom
FawadHa1der:issue-112

Conversation

@FawadHa1der

@FawadHa1der FawadHa1der commented May 29, 2026 •

Copy link
Copy Markdown

first part of the formalizing linUCB. This PR implements the algorithm basics.

@FawadHa1der
FawadHa1der marked this pull request as draft May 29, 2026 14:16
@FawadHa1der FawadHa1der changed the title Issue 112 linUCB May 29, 2026
Comment thread LeanMachineLearning/Online/Bandit/Algorithms/LinUCB.lean
Comment thread LeanMachineLearning/Online/Bandit/Algorithms/LinUCB.lean Outdated
@FawadHa1der

Copy link
Copy Markdown
Author

@RemyDegenne any input on the PR.

…ction LinUCB algorithm object and its process-level API.
@FawadHa1der
FawadHa1der marked this pull request as ready for review June 26, 2026 12:26
@FawadHa1der
FawadHa1der marked this pull request as draft June 26, 2026 12:47
@FawadHa1der
FawadHa1der marked this pull request as ready for review June 26, 2026 13:59
Comment thread LeanMachineLearning/Online/Bandit/Algorithms/LinUCB/Basic.lean Outdated
Comment thread LeanMachineLearning/Online/Bandit/Algorithms/LinUCB/Basic.lean Outdated
Comment thread LeanMachineLearning/Online/Bandit/Algorithms/LinUCB/Basic.lean Outdated
@FawadHa1der

Copy link
Copy Markdown
Author

Apologies for being a tad late. I have started to use Euclideans space as suggested.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants