activity
20192026
most citedVerifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite

3 citations · 5 across the 13 of their papers we have counts for

collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2020

Two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind

Sumit Kumar Jha

We derive two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind using analytic continuation of a well known identity for…