53 citations · 192 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.IR2023★ 7 cited
Topic-Level Bayesian Surprise and Serendipity for Recommender Systems
Tonmoy Hasan, Razvan Bunescu
A recommender system that optimizes its recommendations solely to fit a user's history of ratings for consumed items can create a filter bubble, wherein the user does not get to ex…
cs.CL2023★ 2 cited
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
Garett Cunningham, Razvan C. Bunescu, David Juedes
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translat…