activity
20222024
most citedFinding Inductive Loop Invariants using Large Language Models

15 citations · 17 across the 6 of their papers we have counts for

collaborators
Showing math.APShow all

1 paper · 1 filter

math.AP2024

On Fractional Orlicz-Hardy Inequalities

T. V. Anoop, Prosenjit Roy, Subhajit Roy

We establish the weighted fractional Orlicz-Hardy inequalities for various Orlicz functions. Further, we identify the critical cases for each Orlicz function and prove the weighted…