Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
A new method for entering and retrieving information in a hash table is described. The method is intended to be efficient if most entries are looked up several times. The expected number of probes to look up an entry, predicted theoretically and verified by Monte Carlo experiments, is considerably less than for other comparable methods if the table is nearly full. An example of a possible Fortran implementation is given. © 1973, ACM. All rights reserved.
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Nanda Kambhatla
ACL 2004
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002